|
|
|
|
| LEADER |
01179nam a2200289 a 4500 |
| 001 |
1982127 |
| 005 |
20171111235917.0 |
| 008 |
990608s1993 gr r 000 0 eng d |
| 020 |
|
|
|a 0198539894
|q σκληρόδετο
|
| 040 |
|
|
|a GR-KoDPT
|b greeAACR2
|
| 050 |
|
|
|a QA76.9.A96
|b H34 1993
|
| 082 |
|
0 |
|2 20
|a 511.3
|
| 082 |
|
0 |
|2 22
|a 006
|
| 100 |
1 |
0 |
|a Hahnle, Reiner
|
| 245 |
0 |
0 |
|a Automated deduction in multiple-valued logics/
|c Reiner Hahnle
|
| 260 |
0 |
0 |
|a Oxford:
|b Clarendon Press ;
|c 1993
|a New York:
|b Oxford University Press,
|
| 300 |
0 |
0 |
|a ix, 172 σ. :
|b εικ. ;
|c 25 εκ.
|
| 490 |
0 |
0 |
|a International series of monographs on computer science
|v 10
|
| 504 |
0 |
0 |
|a Περιέχει βιβλιογραφικές παραπομπές και ευρετήριο
|
| 504 |
0 |
0 |
|a Includes bibliographical references and index
|
| 650 |
0 |
0 |
|a Automatic theorem proving
|
| 650 |
0 |
0 |
|a Logic, Symbolic and mathematical
|
| 650 |
0 |
0 |
|a Automatic data collection systems
|
| 710 |
0 |
0 |
|a Clarendon
|
| 710 |
0 |
0 |
|a Oxford University Press
|
| 952 |
|
|
|a GR-KoDPT
|b 59cc35506c5ad13446fb300a
|c 998a
|d 945l
|e QA 76 .9
|t 2
|x m
|z Books
|
| 952 |
|
|
|a GrAtEKP
|b 59cd26bc6c5ad1344610d75d
|c 998a
|d 945l
|e 006 HahR a 1993
|t 1
|x m
|z Books
|
