Search from the table of contents of 2.5 million books
Advanced Search (Beta)
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

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II

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


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 39 entries
Chapters/HeadingsAuthor(s)PagesInfo
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/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 39 entries