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

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 sel...

Full description

Saved in:
Bibliographic Details
Other Authors: Blanchette, Jasmin (Editor), Kovács, Laura (Editor), Pattinson, Dirk (Editor)
Format: Electronic Book Chapter
Language:English
Published: Cham Springer Nature 2022
Series:Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
Subjects:
Online Access:DOAB: download the publication
DOAB: description of the publication
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000naaaa2200000uu 4500
001 doab_20_500_12854_91302
005 20220818
003 oapen
006 m o d
007 cr|mn|---annan
008 20220818s2022 xx |||||o ||| 0|eng d
020 |a 978-3-031-10769-6 
020 |a 9783031107696 
040 |a oapen  |c oapen 
024 7 |a 10.1007/978-3-031-10769-6  |c doi 
041 0 |a eng 
042 |a dc 
072 7 |a UYA  |2 bicssc 
072 7 |a UMZ  |2 bicssc 
072 7 |a UT  |2 bicssc 
072 7 |a UYQ  |2 bicssc 
072 7 |a UM  |2 bicssc 
100 1 |a Blanchette, Jasmin  |4 edt 
700 1 |a Kovács, Laura  |4 edt 
700 1 |a Pattinson, Dirk  |4 edt 
700 1 |a Blanchette, Jasmin  |4 oth 
700 1 |a Kovács, Laura  |4 oth 
700 1 |a Pattinson, Dirk  |4 oth 
245 1 0 |a Automated Reasoning  |b 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings 
260 |a Cham  |b Springer Nature  |c 2022 
300 |a 1 electronic resource (756 p.) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence 
506 0 |a Open Access  |2 star  |f Unrestricted online access 
520 |a 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. 
540 |a Creative Commons  |f by/4.0/  |2 cc  |4 http://creativecommons.org/licenses/by/4.0/ 
546 |a English 
650 7 |a Mathematical theory of computation  |2 bicssc 
650 7 |a Software Engineering  |2 bicssc 
650 7 |a Computer networking & communications  |2 bicssc 
650 7 |a Artificial intelligence  |2 bicssc 
650 7 |a Computer programming / software development  |2 bicssc 
653 |a artificial intelligence 
653 |a automata theory 
653 |a computer hardware 
653 |a computer networks 
653 |a computer programming 
653 |a computer systems 
653 |a embedded systems 
653 |a formal languages 
653 |a formal logic 
653 |a logic programming 
653 |a network protocols 
653 |a semantics 
653 |a software architecture 
653 |a software design 
653 |a software engineering 
653 |a theoretical computer science 
856 4 0 |a www.oapen.org  |u https://library.oapen.org/bitstream/20.500.12657/57927/1/978-3-031-10769-6.pdf  |7 0  |z DOAB: download the publication 
856 4 0 |a www.oapen.org  |u https://directory.doabooks.org/handle/20.500.12854/91302  |7 0  |z DOAB: description of the publication