|
|
|
|
| LEADER |
01143nam a2200253 a 4500 |
| 001 |
647075 |
| 005 |
20171111230422.0 |
| 008 |
090403s2006----gr gr 000 0 Eng d |
| 020 |
|
|
|a 1586036254
|
| 040 |
|
|
|a GR-AtNTU
|b gre
|
| 082 |
|
0 |
|2 22
|a 611.3 NAT
|
| 111 |
2 |
|
|a NATO Advanced Study Institute on Proof Technology and Computation
|c Marktoberdorf, Germany)
|d (2003 :
|
| 245 |
1 |
0 |
|a Proof technology and computation /
|c edited by Helmut Schwichtenberg and Katharina Spies
|
| 260 |
|
|
|a Amsterdam:
|b IOS Press,
|c c2006
|
| 300 |
|
|
|a vii, 445 p. :
|b fig. ;
|c 25 cm.
|
| 490 |
0 |
|
|a NATO science series. Series III, Computer and systems sciences;
|v v.200
|
| 500 |
|
|
|a "Proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July-10 August 2003".
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 650 |
1 |
0 |
|a Automatic theorem proving
|x Congresses
|
| 650 |
1 |
0 |
|a Computer programming
|
| 650 |
1 |
0 |
|a Computer software
|x - Development
|
| 700 |
1 |
|
|a Schwichtenberg, Helmut
|x - Congresses
|
| 700 |
1 |
|
|a Spies, Katharina
|
| 952 |
|
|
|a GR-AtNTU
|b 59cc1a966c5ad13446f77804
|c 998a
|d 945l
|e 611.3 NAT
|t 1
|x m
|z Books
|
