|
|
|
|
| LEADER |
00993nam a2200229 a 4500 |
| 001 |
508865 |
| 005 |
20171111225935.0 |
| 008 |
950405s1995 gw a b 101 0 eng |
| 020 |
|
|
|a 3540585818
|
| 050 |
|
|
|a QA76.63
|b .P76 1995
|
| 082 |
|
|
|2 20
|a 004/.01/5113
|
| 245 |
|
|
|a Proof and computation /
|c edited by Helmut Schwichtenberg.
|
| 260 |
|
|
|a Berlin :
|b Springer-Verlag,
|c 1995.
|
| 300 |
|
|
|a 470 p. :
|b ill. ;
|c 24 cm.
|
| 500 |
|
|
|a "Proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20-August 1,1993"--T.. verso.
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 650 |
|
|
|a Logic programming
|
| 650 |
|
|
|a Logic, Symbolic and mathematical
|
| 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
|c Marktoberdorf, Germany)
|d (1993 :
|
| 952 |
|
|
|a GrThPMO
|b 59afec006c5ad17d7e5a1f00
|c 952a
|d 9528
|e -
|t 1
|x m
|z Books
|
