Verwandte Artikel zu Automated Deduction – CADE 27: 27th International...

Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings (Lecture Notes in Artificial Intelligence, Band 11716) - Softcover

 
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)
Softcover
ISBN 10: 3030294358 ISBN 13: 9783030294359
Verlag: Springer, 2019

Inhaltsangabe

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.

 

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2019
Sprache
Englisch
ISBN 10 
3030294358
ISBN 13 
9783030294359
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
608
Herausgeber
Fontaine Pascal
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland