Show simple item record

Automated Reasoning

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

dc.contributor.editorBlanchette, Jasmin
dc.contributor.editorKovács, Laura
dc.contributor.editorPattinson, Dirk
dc.date.accessioned2022-08-17T20:14:28Z
dc.date.available2022-08-17T20:14:28Z
dc.date.issued2022
dc.identifierONIX_20220817_9783031107696_22
dc.identifier.urihttps://library.oapen.org/handle/20.500.12657/57927
dc.description.abstractThis 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.
dc.languageEnglish
dc.relation.ispartofseriesLecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computationen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineeringen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UT Computer networking and communicationsen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligenceen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineeringen_US
dc.subject.otherartificial intelligence
dc.subject.otherautomata theory
dc.subject.othercomputer hardware
dc.subject.othercomputer networks
dc.subject.othercomputer programming
dc.subject.othercomputer systems
dc.subject.otherembedded systems
dc.subject.otherformal languages
dc.subject.otherformal logic
dc.subject.otherlogic programming
dc.subject.othernetwork protocols
dc.subject.othersemantics
dc.subject.othersoftware architecture
dc.subject.othersoftware design
dc.subject.othersoftware engineering
dc.subject.othertheoretical computer science
dc.titleAutomated Reasoning
dc.title.alternative11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
dc.typebook
oapen.identifier.doi10.1007/978-3-031-10769-6
oapen.relation.isPublishedBy6c6992af-b843-4f46-859c-f6e9998e40d5
oapen.relation.isFundedByc3681f62-f216-4637-b829-e4ae75470db5
oapen.relation.isbn9783031107696
oapen.imprintSpringer
oapen.series.number13385
oapen.pages756
oapen.place.publicationCham
oapen.grant.number[...]


Files in this item

Thumbnail
Name:
978-3-031-10769-6.pdf
Size:
25.16Mb
Format:
PDF
ISBN:
9783031107696
License:
http://creativecommons.org/lic ...
Webshop link:
https://link.springer.com/978- ...
View/Open

This item appears in the following Collection(s)

Show simple item record