Home > Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
Book Informaton
Author
Nicolas Peltier; Viorica Sofronie-Stokkermans
Series
Lecture Notes in Computer Science
Volume
12167
Year of Publication
1st ed. 2020
Publisher
Springer International Publishing
Pages
XVII, 511
Language
EN
ISBN
9783030510534, 9783030510541
ARI Id
1665262249420
This page has been accessed 4 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 39 entries
Chapters/Headings | Author(s) | Pages | Info |
i-xvii | |||
1-1 | |||
3-20 | |||
21-27 | |||
28-57 | |||
58-78 | |||
79-96 | |||
97-118 | |||
119-137 | |||
138-157 | |||
158-166 | |||
167-182 | |||
183-183 | |||
185-203 | |||
204-220 | |||
221-235 | |||
236-253 | |||
254-269 | |||
270-287 | |||
289-289 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 39 entries