Automated Deduction � CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1�4, 2023, Proceedings

Unbekannt

ISBN 10: 3031384989 ISBN 13: 9783031384981

Verlag: Springer Nature Switzerland, 2023

Sprache: Englisch

Zustand: Gebraucht Softcover

F�r sp�ter vormerken

Verkauft von Buchpark, Trebbin, Deutschland

AbeBooks-Verk�ufer seit 30. September 2021

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Softcover

Zustand: Hervorragend

Preis: EUR 21,79 W�hrung umrechnen

Kostenlos f�r den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: 6 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

Zustand: Hervorragend | Seiten: 620 | Sprache: Englisch | Produktart: B�cher.

Bestandsnummer des Verk�ufers 42308107/1

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Automated Deduction � CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1�4, 2023, Proceedings

Verlag

Springer Nature Switzerland

Erscheinungsjahr

2023

Sprache

Englisch

ISBN-10

3031384989

ISBN-13

9783031384981

Einband

Softcover

Zustand

Hervorragend

Verk�uferkataloge

�ber diesen Titel

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.

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.

Anbieterinformationen

Seit �ber 30 Jahren handeln wir mit B�chern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter B�cher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen B�cher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderb�cher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten B�chern oder Haushaltsaufl�sungen kaufen wir bundesweit komplette Bibliotheken und Buchbest�nde von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die M�glichkeit, gro�e Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbest�nde werden von uns professionell auf Qualit�tsmerkmale hin untersucht und sorgf�ltig f�r den Onlinehandel aufbereitet. Wir schenken B�chern ein zweites Leben.

Zur Homepage des Verk�ufers