Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1û4, 2020, Proceedings, Part II
Springer
ISBN13:
9783030510534
$97.68
- | Author: Nicolas Peltier, Viorica Sofronie-Stokkermans
- | Publisher: Springer
- | Publication Date: Jun 30, 2020
- | Number of Pages: 532 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3030510530
- | ISBN-13: 9783030510534
- Author:
- Nicolas Peltier, Viorica Sofronie-Stokkermans
- Publisher:
- Springer
- Publication Date:
- Jun 30, 2020
- Number of pages:
- 532 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3030510530
- ISBN-13:
- 9783030510534