Isbn: 9783030294359 - automated deduction – cade 27: 27th international conference on automated deduction, natal, brazil, august 27–30, 2019, proceedings (lecture notes in artificial intelligence, band 11716) (6 Ergebnisse)

Broschiert Broschiert. Zustand: Sehr gut. XXIII, 582 Seiten, Lecture Notes in Artificial Intelligence, Band 11716. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 910. …

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience.…

Paperback. Zustand: Brand New. 608 pages. 9.25x6.10x1.50 inches. In Stock.

Zustand: New.

Zustand: gut. 2019. Automated Deduction - CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings (Lecture Notes in Artificial Intelligence, Band 11716) In deutscher Sprache. pages.