3 Ebooks oleh Nicolas Peltier
Ricardo Caferra & Alexander Leitsch: Automated Model Building
On the history of the book: In the early 1990s several new methods and perspectives in au- mated deduction emerged. We just mention the superposition calculus, meta-term inference and schematization, …
PDF
Inggris
DRM
€164.87
Nicolas Peltier & Viorica Sofronie-Stokkermans: Automated Reasoning
This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In …
EPUB
Inggris
DRM
€82.87
Nicolas Peltier & Viorica Sofronie-Stokkermans: Automated Reasoning
This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In …
EPUB
Inggris
DRM
€89.45
