Automated Reasoning

Blanchette, Jasmin ; Kovács, Laura ; et al.

In: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; (2022)

Online E-Book - 756

Zugriff:

View Record from OAPEN (Volltext)

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book.

Titel:	Automated Reasoning
Autor/in / Beteiligte Person:	Blanchette, Jasmin ; Kovács, Laura ; Pattinson, Dirk
Link:	View Record from OAPEN (Volltext)
Quelle:	Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; (2022)
Veröffentlichung:	Cham: Springer Nature; Springer, 2022
Medientyp:	E-Book
Umfang:	756
ISBN:	978-3-031-10769-6 (print) ; 3-031-10769-1 (print)
DOI:	10.1007/978-3-031-10769-6
Schlagwort:	artificial intelligence automata theory computer hardware computer networks computer programming computer systems embedded systems formal languages formal logic logic programming network protocols semantics software architecture software design software engineering theoretical computer science bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development
Sonstiges:	Nachgewiesen in: OAPEN Library Sprachen: English Collection: Books ; Imported or submitted locally Original Material: c3681f62-f216-4637-b829-e4ae75470db5 ; 6c6992af-b843-4f46-859c-f6e9998e40d5 ; 13385 Contents Note: ... Document Type: book File Description: application/pdf Language: English Rights: URL: http://creativecommons.org/licenses/by/4.0/ Notes: ONIX_20220817_9783031107696_22 ; https://link.springer.com/978-3-031-10769-6

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.