Staff View: Automated reasoning :

Automated reasoning : : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson.

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
Superior document:	Lecture notes in computer science v.13385
TeilnehmendeR:	Blanchette, Jasmin. Kovács, Laura. Pattinson, Dirk, 1970-
Place / Publishing House:	Cham : : Springer International Publishing AG,, 2022. ©2022.
Year of Publication:	2022
Language:	English
Series:	Lecture notes in computer science 13385.
Physical Description:	1 online resource (xv, 756 pages) :; illustrations (some color).
Tags:	Add Tag No Tags, Be the first to tag this record!

id	993554873704498
ctrlnum	(CKB)5850000000051411 (MiAaPQ)EBC7055695 (Au-PeEL)EBL7055695 (OCoLC)1338199767 (oapen)https://directory.doabooks.org/handle/20.500.12854/91302 (PPN)263897265 (EXLCZ)995850000000051411
collection	bib_alma
record_format	marc
spelling	Blanchette, Jasmin edt Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson. Cham Springer Nature 2022 Cham : Springer International Publishing AG, 2022. ©2022. 1 online resource (xv, 756 pages) : illustrations (some color). text txt rdacontent computer c rdamedia online resource cr rdacarrier Lecture notes in computer science v.13385 Includes author index. Description based on publisher supplied metadata and other sources. Open access Unrestricted online access star 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. English Automatic theorem proving Congresses. Computer logic Congresses. 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 Blanchette, Jasmin. 3-031-10768-3 Kovács, Laura. Pattinson, Dirk, 1970- Lecture notes in computer science 13385.
language	English
format	eBook
author2	Blanchette, Jasmin. Kovács, Laura. Pattinson, Dirk, 1970-
author_facet	Blanchette, Jasmin. Kovács, Laura. Pattinson, Dirk, 1970-
author2_variant	j b jb j b jb l k lk d p dp
author2_role	TeilnehmendeR TeilnehmendeR TeilnehmendeR
author_sort	Blanchette, Jasmin.
title	Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /
spellingShingle	Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / Lecture notes in computer science
title_sub	11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /
title_full	Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson.
title_fullStr	Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson.
title_full_unstemmed	Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson.
title_auth	Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /
title_new	Automated reasoning :
title_sort	automated reasoning : 11th international joint conference, ijcar 2022, haifa, israel, august 8-10, 2022, proceedings /
series	Lecture notes in computer science
series2	Lecture notes in computer science
publisher	Springer Nature Springer International Publishing AG,
publishDate	2022
physical	1 online resource (xv, 756 pages) : illustrations (some color).
isbn	3-031-10769-1 3-031-10768-3
callnumber-first	Q - Science
callnumber-subject	QA - Mathematics
callnumber-label	QA267-268
callnumber-sort	QA 3267 3268.5
genre_facet	Congresses.
illustrated	Illustrated
dewey-hundreds	000 - Computer science, information & general works
dewey-tens	000 - Computer science, knowledge & systems
dewey-ones	006 - Special computer methods
dewey-full	006.333
dewey-sort	16.333
dewey-raw	006.333
dewey-search	006.333
oclc_num	1338199767
work_keys_str_mv	AT blanchettejasmin automatedreasoning11thinternationaljointconferenceijcar2022haifaisraelaugust8102022proceedings AT kovacslaura automatedreasoning11thinternationaljointconferenceijcar2022haifaisraelaugust8102022proceedings AT pattinsondirk automatedreasoning11thinternationaljointconferenceijcar2022haifaisraelaugust8102022proceedings
status_str	n
ids_txt_mv	(CKB)5850000000051411 (MiAaPQ)EBC7055695 (Au-PeEL)EBL7055695 (OCoLC)1338199767 (oapen)https://directory.doabooks.org/handle/20.500.12854/91302 (PPN)263897265 (EXLCZ)995850000000051411
carrierType_str_mv	cr
hierarchy_parent_title	Lecture notes in computer science v.13385
hierarchy_sequence	13385.
is_hierarchy_title	Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /
container_title	Lecture notes in computer science v.13385
author2_original_writing_str_mv	noLinkedField noLinkedField noLinkedField
_version_	1804802316393512960
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02994nam a22006853i 4500</leader><controlfield tag="001">993554873704498</controlfield><controlfield tag="005">20240402170900.0</controlfield><controlfield tag="006">m o d \| </controlfield><controlfield tag="007">cr#cnu\|\|\|\|\|\|\|\|</controlfield><controlfield tag="008">220919s2022 sz a o 101\|0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3-031-10769-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)5850000000051411</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)EBC7055695</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL7055695</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1338199767</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/91302</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(PPN)263897265</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)995850000000051411</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA267-268.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.333</subfield></datafield><datafield tag="082" ind1=" " ind2=" "><subfield code="a">006.333</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Blanchette, Jasmin</subfield><subfield code="4">edt</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automated reasoning :</subfield><subfield code="b">11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /</subfield><subfield code="c">editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cham</subfield><subfield code="b">Springer Nature</subfield><subfield code="c">2022</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham :</subfield><subfield code="b">Springer International Publishing AG,</subfield><subfield code="c">2022.</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2022.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xv, 756 pages) :</subfield><subfield code="b">illustrations (some color).</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">v.13385</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes author index.</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on publisher supplied metadata and other sources.</subfield></datafield><datafield tag="506" ind1=" " ind2=" "><subfield code="a">Open access</subfield><subfield code="f">Unrestricted online access</subfield><subfield code="2">star</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Automatic theorem proving</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer logic</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">artificial intelligence</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">automata theory</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">computer hardware</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">computer networks</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">computer programming</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">computer systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">embedded systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">formal languages</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">formal logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">logic programming</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">network protocols</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">semantics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software architecture</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software design</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software engineering</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">theoretical computer science</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Blanchette, Jasmin.</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">3-031-10768-3</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kovács, Laura.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pattinson, Dirk,</subfield><subfield code="d">1970-</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">13385.</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-07-17 06:27:10 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2022-08-07 00:20:11 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5339691580004498&Force_direct=true</subfield><subfield code="Z">5339691580004498</subfield><subfield code="b">Available</subfield><subfield code="8">5339691580004498</subfield></datafield></record></collection>

Automated reasoning : : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson.

Similar Items