Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings


Book Informaton

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

Author

Nicola Olivetti; Ashish Tiwari

Series

Lecture Notes in Computer Science

Volume

9706

Year of Publication

1st ed. 2016

Publisher

Springer International Publishing

Pages

XX, 580

Language

EN

ISBN

9783319402284, 9783319402291, 3319402285

ARI Id

1664965555468


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 4 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 51 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XX
1-1
3-8
9-14
15-21
23-23
25-44
45-61
63-63
65-81
82-98
99-115
116-132
133-151
152-170
171-171
173-182
183-192
193-193
195-212
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 51 entries