Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings

9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings


Book Informaton

9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings

Author

Ewing Lusk; Ross Overbeek

Series

Lecture Notes in Computer Science

Volume

310

Year of Publication

1988

Publisher

Springer Berlin Heidelberg

Pages

X, 776

Language

en

ISBN

9783540193432, 9783540392163, 354019343X

ARI Id

1664275450370


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 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 74 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-20
21-40
41-60
61-80
81-100
101-110
111-120
121-130
131-140
141-150
151-161
162-181
182-196
197-217
218-237
238-257
258-277
278-293
294-312
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 74 entries