Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0
oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München
+++ Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen? Tel. 089/210233-0

Automated Reasoning

79,17 €*

Versandkostenfrei

Produktnummer: 18d957fb012fd747fc8e66b9f44820451e
Themengebiete: artificial intelligence automata theory automated reasoning computer programming formal languages formal logic linguistics modal logic model checking satisfiability
Veröffentlichungsdatum: 30.06.2020
EAN: 9783030510534
Sprache: Englisch
Seitenzahl: 511
Produktart: Kartoniert / Broschiert
Herausgeber: Peltier, Nicolas Sofronie-Stokkermans, Viorica
Verlag: Springer International Publishing
Untertitel: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
Produktinformationen "Automated Reasoning"
This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving), and TABLEAUX (International Conference on Analytic Tableaux and Related Methods).The 46 full research papers, 5 short papers, and 11 system descriptions presented together with two invited talks were carefully reviewed and selected from 150 submissions. The papers focus on the following topics:Part I: SAT; SMT and QBF; decision procedures and combination of theories; superposition; proof procedures; non classical logicsPart II: interactive theorem proving/ HOL; formalizations; verification; reasoning systems and tools*The conference was held virtually due to the COVID-19 pandemic.Chapter ‘A Fast Verified Liveness Analysis in SSA Form’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Bücherregal gefüllt mit juristischen Werken

Sie möchten lieber vor Ort einkaufen?

Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.

Juristische Fachbuchhandlung
Georg Blendl

Parcellistraße 5 (Maxburg)
8033 München

Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen