Handbook of logic in computer science /
Guardado en:
| Otros Autores: | , , |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Oxford : New York :
Clarendon Press ; Oxford University Press,
1992-<2000
|
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 02040nam a22004575a 4500 | ||
|---|---|---|---|
| 001 | DCC.dcic000006 | ||
| 008 | 920427m19929999enka##########001#0#eng## | ||
| 005 | 20151123110825.0 | ||
| 245 | 0 | 0 | |a Handbook of logic in computer science / |c edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum. |
| 260 | |a Oxford : |b Clarendon Press ; |a New York : |b Oxford University Press, |c 1992-<2000 | ||
| 300 | |a v. <1-5: |b ill. ; |c 25 cm. | ||
| 500 | |a La biblioteca posee: v. 1 Background:mathematical structures, 1992; v. 2 Background: computational structures, 1992; v. 3 Semantic Structures, 1994; v. 4 Semantic Modelling | ||
| 504 | |a Includes bibliographical references and indexes. | ||
| 505 | 1 | ^ | |v . 1. Background, mathematical structure -- v. 2. Background, computational structure -- v. 3. Semantic structures -- v. 4. Semantic modelling -- |
| 020 | |a 0198537352 (v. 1) | ||
| 020 | |a 0198537611 (v. 2) | ||
| 020 | |a 019853762X (v. 3) | ||
| 020 | |a 0198537808 (v. 4) | ||
| 700 | 1 | |a Abramsky, Samson, |d 1953- | |
| 700 | 1 | |a Gabbay, Dov M., |d 1945- | |
| 700 | 1 | |a Maibaum, Thomas S. E., |d 1947- | |
| 082 | 0 | 0 | |a 004 |2 20 |
| 653 | 0 | ^ | |p rogramming. |
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 7 | |a Ciencia da computacao ou informatica |2 larpcal | |
| 650 | 7 | |a Logica e semantica de programacao |2 larpcal | |
| 010 | |a 92000510 | ||
| 035 | |a B3-27685 | ||
| 040 | |a DLC |c DLC |d UBA |d UKM |d OCLCQ | ||
| 050 | 0 | 0 | |a QA76 |b .H2785 1992 |
| 859 | |a DCIC |b BIB. COMPUTACION |p 0007 |t 1 |v 1 |3 Vol I | ||
| 859 | |a DCIC |b BIB. COMPUTACION |p 0008 |t 2 |v 1 |3 Vol I | ||
| 859 | |a DCIC |b BIB. COMPUTACION |p 0009 |t 1 |v 2 |3 Vol II | ||
| 859 | |a DCIC |b BIB. COMPUTACION |p 0010 |t 2 |v 2 |3 Vol II | ||
| 859 | |a DCIC |b BIB. COMPUTACION |p 0011 |t 1 |v 3 |3 Vol III | ||
| 859 | |a DCIC |b BIB. COMPUTACION |p 0012 |t 2 |v 3 |3 Vol III | ||
| 859 | |a DCIC |b BIB. COMPUTACION |p 0013 |t 3 |v 3 |3 Vol III | ||
| 859 | |a DCIC |b BIB. COMPUTACION |p 0014 |t 1 |v 4 |3 Vol IV | ||
| 859 | |a DCIC |b BIB. COMPUTACION |p 0015 |t 2 |v 4 |3 Vol IV | ||
| 859 | |a DCIC |b BIB. COMPUTACION |p 0016 |t 3 |v 4 |3 Vol IV | ||