|
|
|
|
| LEADER |
01734nam a2200457 a 4500 |
| 001 |
1947945 |
| 005 |
20171111235830.0 |
| 008 |
990525s1994----gr gr 000 0 Eng d |
| 020 |
|
|
|a 1881526119
|
| 040 |
|
|
|a GR-AtNTU
|b gre
|
| 082 |
|
0 |
|a 160.2855369 BAR
|
| 082 |
|
0 |
|2 20
|a 160.285
|
| 082 |
|
0 |
|2 22
|a 160.2855369
|
| 100 |
1 |
0 |
|a Barwise, Jon
|
| 245 |
1 |
0 |
|a Hyperproof /
|c Jon Barwise & John Etchemendy ; ; program by Gerard Allwein, Mark Greaves, and Michael Lenz ; ; with additional programming by Alan Bush..[et al.]
|
| 260 |
1 |
0 |
|a Stanford, CA.:
|b CSLI Publications,
|c c1994
|
| 300 |
1 |
0 |
|a xvii, 253 p. ;
|c 25 cm. +
|e + 1 disk
|
| 490 |
0 |
0 |
|a CSLI lecture notes ;
|v no. 42
|
| 504 |
0 |
0 |
|a Includes index.
|
| 504 |
0 |
0 |
|a Περιέχει ευρετήριο
|
| 504 |
0 |
0 |
|a Includes index
|
| 650 |
1 |
0 |
|a Computer science
|
| 650 |
1 |
0 |
|a Logic, Symbolic and mathematical
|
| 650 |
1 |
0 |
|a Hyperproof
|
| 650 |
1 |
0 |
|a Macintosh (Computer)
|
| 650 |
1 |
0 |
|a Computers
|
| 650 |
1 |
0 |
|a Computer science
|
| 650 |
1 |
0 |
|a Logic, Symbolic and mathematical
|
| 650 |
1 |
0 |
|a Hyperproof
|
| 650 |
1 |
0 |
|a Macintosh (Computer)
|
| 700 |
1 |
0 |
|a Etchemendy, John
|
| 700 |
1 |
0 |
|a Allwein, Gerard,
|
| 700 |
1 |
0 |
|a Greaves, Mark
|
| 700 |
1 |
0 |
|a Lenz, Michael
|
| 700 |
1 |
0 |
|a Etchemendy, John,
|
| 700 |
1 |
0 |
|a Allwein, Gerard
|
| 952 |
|
|
|a GR-AtNTU
|b 59cc29a76c5ad13446f9f023
|c 998a
|d 945l
|e 160.2855369 BAR
|t 1
|x m
|z Books
|
| 952 |
|
|
|a GrAtEKP
|b 59cd283b6c5ad1344610f588
|c 998a
|d 945l
|e 160.2855369 BarJ h 1994
|t 1
|x m
|z Books
|
| 952 |
|
|
|a GRThAnMak
|b 59cca13e6c5ad13446025540
|c 998a
|d 945l
|e 160.285 BAR
|t 1
|x m
|z Books
|
| 952 |
|
|
|a GRThAnMak
|b 59cca3146c5ad1344602a949
|c 998a
|d 945l
|e 160.285 BAR
|t 1
|x m
|z Books
|
| 952 |
|
|
|a CY-NiOUC
|b 5a044a4a6c5ad14ac1eb807a
|c 998a
|d 945l
|e QA76.B3114 1993
|t 2
|x m
|z Books
|
