Nicolas Peltier, Viorica Sofronie-Stokkermans

Automated Reasoning

10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II

We couldn't estimate the reading time for this book.

Author

Publication

2020 - Springer

Language

English

Word Count

0 words, Guess

Page Count

0 pages

Identifiers

ISBN-139783030510534
ISBN-103030510530
Better World Books9783030510534
Open LibraryOL35846190M

Classifications

LCCQA75.5-76.95

Subjects

Topics

Computer programming Artificial intelligence Computer software, development Logic, symbolic and mathematical

Other Editions

Automated ReasoningSpringer2020

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!