Electronic Resource

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

---

Penilaian

---

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.

---

Availability

Inventory Code	Barcode	Call Number	Location	Status
2008000044	EB0003857	005.13 Aut	Central Library (Database Springer E-Book)	Available

Detail Information

Series Title

Lecture Notes in Computer Science

Call Number

005.13 Aut

Publisher

Switzerland : Springer Cham., 2022

Collation

xv, 756p.: Ill.

Language

English

ISBN/ISSN

978-3-031-10769-6

Classification

005.13

Content Type

Ebook

Media Type

-

Carrier Type

online resource

Edition

1

Subject(s)

Mathematical Logic and Formal Languages

Specific Detail Info

-

Statement of Responsibility

RTS

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment