Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings


Book Informaton

Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Author

Robert Nieuwenhuis

Series

Lecture Notes in Computer Science

Volume

3632

Year of Publication

2005

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

XIV, 466

Language

EN

ISBN

9783540280057, 9783540318644

ARI Id

1664714199862


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

Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo