Verwandte Artikel zu Frontiers of Combining Systems: 12th International...
Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings: 11715 (Lecture Notes in Artificial Intelligence) - Softcover
Inhaltsangabe
This book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019.
The 20 papers presented were carefully reviewed and selected from 30 submissions. They present research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The papers are organized in the following topical sections: automated theorem proving and model building, combinations of systems, constraint solving, description logics, interactive theorem proving, modal and epistemic logics, and rewriting and unification.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 70,36
EUR 13,84 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & DauerSuchergebnisse für Frontiers of Combining Systems: 12th International...
Beispielbild für diese ISBN
Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings (Lecture Notes in Artificial Intelligence)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783030290061_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Frontiers of Combining Systems: 12th International Symposium, Frocos 2019, London, Uk, September 4-6, 2019, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 388 pages. 9.25x6.10x1.02 inches. In Stock. Artikel-Nr. x-3030290069
Anzahl: 2 verfügbar
Foto des Verkäufers
Frontiers of Combining Systems
ISBN 10: 3030290069
ISBN 13: 9783030290061
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019. The 20 papers presented were carefully reviewed and selected from 30 submissions. They present research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The papers are organized in the following topical sections: automated theorem proving and model building, combinations of systems, constraint solving, description logics, interactive theorem proving, modal and epistemic logics, and rewriting and unification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch. Artikel-Nr. 9783030290061
Anzahl: 2 verfügbar
Foto des Verkäufers
Frontiers of Combining Systems : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings
ISBN 10: 3030290069
ISBN 13: 9783030290061
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 book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019. The 20 papers presented were carefully reviewed and selected from 30 submissions. They presentresearch on the development oftechniques and methods for the combination and integration of formal systems,their modularization and analysis. The papersare organized in the following topical sections:automated theoremproving and model building, combinations of systems, constraintsolving, description logics, interactive theorem proving, modal andepistemic logics, and rewriting and unification. Artikel-Nr. 9783030290061
Anzahl: 1 verfügbar