ENGLISH

Using Sophisticated Models in Resolution Theorem Proving

By David M. Sandford (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1980
ISBN
3540102310, 9783540102311
DOI
10.1007/3-540-10231-0
Language
english
Format
DJVU
Filesize
1 MB (1240480 bytes)
Series
Lecture Notes in Computer Science 90
Edition
1
Pages
242\247
Library
Kolxo3
DPI
300
Time added
2011-07-22 07:35:22
Mathematical Logic and Formal Languages

Similar books