Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings

Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings


Book Informaton

Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings

Author

Alan Bundy

Series

Lecture Notes in Computer Science

Volume

814

Year of Publication

1994

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

848

Language

EN

ISBN

9783540581567, 9783540484677, 3540581561, 0387581561

ARI Id

1674219789364


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 7 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-13
14-28
29-41
42-56
57-71
72-86
87-101
102-117
118-132
133-147
148-161
162-176
177-191
192-206
207-221
222-236
237-251
252-266
267-281
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 74 entries