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
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
This page has been accessed 4 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 51 entries
Chapters/Headings | Author(s) | Pages | Info |
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/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 51 entries