|
|
|
|
| LEADER |
00815nam a2200217 a 4500 |
| 001 |
791568 |
| 005 |
20171111231201.0 |
| 008 |
050216s1990 gr r 000 0 eng d |
| 020 |
|
|
|a 0387972331
|
| 040 |
|
|
|a GR-KoDPT
|b gre
|e AACR2
|
| 050 |
|
|
|a QA76.9.A96
|b F68 1990
|
| 082 |
|
0 |
|2 20
|a 511.3
|
| 100 |
1 |
|
|a Fitting, Melvin,
|d 1942-
|
| 245 |
1 |
0 |
|a First-order logic and automated theorem proving/
|c Melvin Fitting
|
| 260 |
|
|
|a New York:
|b Springer-Verlag,
|c c1990
|
| 300 |
|
|
|a xiii, 242 σ. :
|b εικ. ;
|c 24 εκ.
|
| 490 |
0 |
|
|a Texts and monographs in computer science
|
| 504 |
|
|
|a Περιέχει βιβλιογραφικές παραπομπές (σ. [233]-236) και ευρετήριο
|
| 650 |
|
0 |
|a Automatic theorem proving
|
| 710 |
|
|
|a Springer
|
| 952 |
|
|
|a GR-KoDPT
|b 59cc2e4e6c5ad13446fa9447
|c 998a
|d 945l
|e QA 76 .9
|t 1
|x m
|z Books
|
