Home > Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
Book Informaton
Author
Deepak Kapur
Series
Lecture Notes in Computer Science
Volume
607
Year of Publication
1992
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
793
Language
EN
ISBN
9783540556022, 9783540472520, 3540556028, 0387556028
ARI Id
1674219742538
This page has been accessed 8 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 77 entries
Chapters/Headings | Author(s) | Pages | Info |
1-3 | |||
4-19 | |||
20-34 | |||
35-49 | |||
50-65 | |||
66-78 | |||
79-93 | |||
94-108 | |||
109-123 | |||
124-138 | |||
139-147 | |||
148-162 | |||
163-177 | |||
178-192 | |||
193-207 | |||
208-208 | |||
209-223 | |||
224-238 | |||
239-252 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 77 entries