|
|
|
|
| LEADER |
00965nam a2200217 a 4500 |
| 001 |
1331994 |
| 005 |
20171111233300.0 |
| 008 |
010118s1997 gr erb 100 0 eng d |
| 020 |
|
|
|a 3540629637
|
| 040 |
|
|
|a GrAtEKP.Mathimatiko
|b gre
|e AACR2
|
| 082 |
|
0 |
|2 22
|a 005.1015113
|
| 111 |
2 |
|
|a NATO Advanced Study Institute on Logic of Computation
|c Marktoberdorf, Germany)
|d (1995:
|
| 245 |
1 |
0 |
|a Logic of computation/
|c edited by Helmut Schwichtenberg
|
| 260 |
|
|
|a Berlin:
|b Springer,
|c c1997
|
| 300 |
|
|
|a vi, 394 p. ;
|c 24 cm.
|
| 490 |
0 |
|
|a NATO advanced study institutes series. Series F, Computer and systems sciences ;
|v 157
|
| 500 |
|
|
|a Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-August 6, 1995
|
| 504 |
|
|
|a Includes bibliographical references
|
| 650 |
|
0 |
|a Computer science
|
| 700 |
1 |
|
|a Schwichtenberg, Helmut
|
| 952 |
|
|
|a GrAtEKP
|b 59cd13c26c5ad134460f136f
|c 998a
|d 945l
|e 005.1015113 NASILC1995 l 1997
|t 1
|x m
|z Books
|
