Home > Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings
Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings
Book Informaton
Author
Alan Bundy
Series
Lecture Notes in Computer Science
Volume
814
Year of Publication
1994
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
848
Language
EN
ISBN
9783540581567, 9783540484677, 3540581561, 0387581561
ARI Id
1674219789364
This page has been accessed 7 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 74 entries
Chapters/Headings | Author(s) | Pages | Info |
1-13 | |||
14-28 | |||
29-41 | |||
42-56 | |||
57-71 | |||
72-86 | |||
87-101 | |||
102-117 | |||
118-132 | |||
133-147 | |||
148-161 | |||
162-176 | |||
177-191 | |||
192-206 | |||
207-221 | |||
222-236 | |||
237-251 | |||
252-266 | |||
267-281 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 74 entries