Proof and computation /
Guardado en:
| Autores Corporativos: | , |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Berlin ; New York :
Springer,
c1995.
|
| Series: | NATO ASI series. Computer and systems sciences ;
no. 139. |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 01331cam a2200289 a 4500 | ||
|---|---|---|---|
| 001 | DCC.dcic000644 | ||
| 008 | 950405s1995####gw#a#####b####101#0#eng## | ||
| 005 | 20151124142643.0 | ||
| 245 | 0 | 0 | |a Proof and computation / |c edited by Helmut Schwichtenberg. |
| 260 | |a Berlin ; |a New York : |b Springer, |c c1995. | ||
| 300 | |a 470 p. : |b il. ; |c 25 cm. | ||
| 490 | 1 | |a NATO ASI series. Series F, Computer and systems sciences ; |v vol. 139 | |
| 500 | |a "Proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20-Aug. 1, 1993"--T.p. verso. | ||
| 500 | |a "Published in cooperation with NATO Scientific Affairs Division." | ||
| 504 | |a Incluye referencias bibliográficas. | ||
| 020 | |a 3540585818 (acid-free paper) | ||
| 700 | 1 | |a Schwichtenberg, Helmut, |d 1942- | |
| 710 | 2 | |a North Atlantic Treaty Organization. |b Scientific Affairs Division. | |
| 711 | 2 | |a NATO Advanced Study Institute on Proof and Computation |d (1993 : |c Marktoberdorf, Germany) | |
| 830 | 0 | |a NATO ASI series. |n Series F, |p Computer and systems sciences ; |v no. 139. | |
| 082 | 0 | 0 | |a 004/.01/5113 |2 20 |
| 650 | 0 | |a Logic programming |x Congresses. | |
| 650 | 0 | |a Logic, Symbolic and mathematical |x Congresses. | |
| 010 | |a 95012490 | ||
| 040 | |a DLC |c DLC |d DLC | ||
| 050 | 0 | 0 | |a QA76.63 |b .P76 1995 |
| 859 | |a DCIC |b BIB. COMPUTACION |p 0904 | ||