ENGLISH

6th Conference on Automated Deduction: New York, USA, June 7–9, 1982

By L. Wos (auth.) , D. W. Loveland (eds.)

Book information

Publisher
Springer Berlin Heidelberg
Year
1982
ISBN
3540115587, 9783540115588
DOI
10.1007/BFb0000048
Language
english
Format
PDF
Filesize
15 MB (16044922 bytes)
Series
Lecture Notes in Computer Science 138
Edition
1
Pages
397\397
Topic
Computers
Scanned
no
Time added
2011-06-04 13:46:07
Mathematical Logic and Formal Languages

Similar books