ENGLISH

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980

By Wolfgang Bibel , Luigia Aiello , Richard W. Weyhrauch (auth.) , Robert Kowalski (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1980
ISBN
978-3-540-10009-6, 978-3-540-38140-2
DOI
10.1007/3-540-10009-1
Language
english
Format
PDF
Filesize
10 MB (10073000 bytes)
Series
Lecture Notes in Computer Science 87
Edition
1
Pages
388\392
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Mathematical Logic and Formal Languages

Similar books