Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Artificial Intelligence, Band 9195) - Softcover

 
9783319214009: Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Artificial Intelligence, Band 9195)
Softcover
ISBN 10: 3319214004 ISBN 13: 9783319214009
Verlag: Springer, 2015

Inhaltsangabe

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.

The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 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
2015
Sprache
Englisch
ISBN 10 
3319214004
ISBN 13 
9783319214009
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
668
Herausgeber
Felty Amy P., Middeldorp Aart
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland