Verwandte Artikel zu Automated Deduction – CADE 29: 29th International...
Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings: 14132 (Lecture Notes in Artificial Intelligence) - Softcover
Inhaltsangabe
This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023.
The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions.
CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Von der hinteren Coverseite
This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 42,79
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Automated Deduction – CADE 29: 29th International...
Beispielbild für diese ISBN
Automated Deduction ¿ CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1¿4, 2023, Proceedings
Verlag:
Springer Nature Switzerland, 2023
ISBN 10: 3031384989
ISBN 13: 9783031384981
Gebraucht
Softcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 42308107/1
Anzahl: 6 verfügbar
Foto des Verkäufers
Automated Deduction ¿ CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1¿4, 2023, Proceedings
Verlag:
Springer Nature Switzerland, 2023
ISBN 10: 3031384989
ISBN 13: 9783031384981
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023.The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions.CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions. Artikel-Nr. 9783031384981
Anzahl: 1 verfügbar
Foto des Verkäufers
Automated Deduction - CADE 29
ISBN 10: 3031384989
ISBN 13: 9783031384981
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 620 pp. Englisch. Artikel-Nr. 9783031384981
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Automated Deduction â" CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1â"4, 2023, Proceedings (Lecture Notes in Artificial Intelligence)
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Very Good. Artikel-Nr. mon0003612951
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Automated Deduction CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 14, 2023, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 617 pages. 9.25x6.10x1.65 inches. In Stock. Artikel-Nr. __3031384989
Anzahl: 1 verfügbar