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
978-3-540-16780-8, 978-3-540-39861-5
DOI
10.1007/3-540-16780-3
Language
english
Format
PDF
Filesize
15 MB (15353914 bytes)
Series
Lecture Notes in Computer Science 230
Edition
1
Pages
716\717
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Mathematical Logic and Formal Languages; Artificia

Similar books