Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > 8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings

8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings


Book Informaton

8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings

Author

Jörg H. Siekmann

Series

Lecture Notes in Computer Science

Volume

230

Year of Publication

1986

Publisher

Springer Berlin Heidelberg

Pages

XII, 716

Language

EN

ISBN

9783540167808, 9783540398615, 3540167803

ARI Id

1664945992861


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.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 75 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-4
5-20
21-41
42-51
52-61
62-78
79-88
89-98
99-117
118-127
128-140
141-152
153-153
154-171
172-189
190-198
199-208
209-228
229-239
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 75 entries