Verwandte Artikel zu Automated Reasoning: 9th International Joint Conference,...

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Artificial Intelligence, Band 10900) - Softcover

 
9783319942049: Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Artificial Intelligence, Band 10900)
Softcover
ISBN 10: 3319942042 ISBN 13: 9783319942049
Verlag: Springer, 2018

Inhaltsangabe

This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018. In 2018, IJCAR unites CADE, TABLEAUX, and FroCoS, the International Symposium on Frontiers of Combining Systems, and, for the fourth time, is part of the Federated Logic Conference.
The 38 revised full research papers and 8 system descriptions presented together with two invited talks were carefully reviewed and selected from 108 submissions. The papers focus on topics such as logics, deductive systems, proof-search methods, theorem proving, model checking, verification, formal methods, and program analysis.

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

Über die Autorin bzw. den Autor

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2018
Sprache
Englisch
ISBN 10 
3319942042
ISBN 13 
9783319942049
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
744
Herausgeber
Galmiche Didier, Schulz Stephan, Sebastiani Roberto
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland