ENGLISH

8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings

By Peter B. Andrews (auth.) , Jörg H. Siekmann (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1986
ISBN
3540167803, 9783540167808
DOI
10.1007/3-540-16780-3
Open Library ID
OL12772310M
Language
english
Format
DJVU
Filesize
7 MB (7612714 bytes)
Series
Lecture Notes in Computer Science 230
Edition
1
Pages
716\717
Library
Kolxo3
DPI
300
Time added
2011-07-22 07:35:22
Mathematical Logic and Formal Languages; Artificia

Similar books