Search from the table of contents of 2.5 million books
Advanced Search (Beta)
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

Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings

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


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 8 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Citation Options
Download Citation

Showing 1 to 20 of 77 entries
Chapters/HeadingsAuthor(s)PagesInfo
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/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 77 entries