Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings

10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings


Book Informaton

10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings

Author

Mark E. Stickel

Series

Lecture Notes in Computer Science

Volume

449

Year of Publication

1990

Publisher

Springer Berlin Heidelberg

Pages

XVIII, 690

Language

en

ISBN

9783540528852, 9783540471714, 3540528857

ARI Id

1664777064490


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 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 76 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-15
16-27
28-39
40-56
57-71
72-86
87-101
102-116
117-131
132-146
147-161
162-177
178-192
193-206
207-220
221-235
236-250
251-260
261-275
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 76 entries