Title Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / Jasmin Blanchette, Laura Kovács, Dirk Pattinson (eds.).

Publication Info.

Cham, Switzerland : Springer, 2022.

Copies

Location	Call No.	Status
University of Saint Joseph: Pope Pius XII Library - Internet	WORLD WIDE WEB E-BOOK Springer	Downloadable
Please click here to access this Springer resource

Description	1 online resource (xv, 756 pages) : illustrations (some color).
Series	Lecture notes in artificial intelligence
	Lecture notes in computer science ; 13385
	LNCS sublibrary. SL 7, Artificial intelligence
	Lecture notes in computer science. Lecture notes in artificial intelligence.
	Lecture notes in computer science ; 13385.
	LNCS sublibrary. SL 7, Artificial intelligence.
Access	Open access. GW5XE
Note	Includes author index.
Summary	This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Note	Online resource; title from PDF title page (SpringerLink, viewed August 3, 2022).
Local Note	Springer Nature Springer Nature Open Access eBooks
Subject	Automatic theorem proving -- Congresses.
	Computer logic -- Congresses.
	Automatic theorem proving. (OCoLC)fst00822777
	Computer logic. (OCoLC)fst00872265
Genre/Form	Electronic books.
	Conference papers and proceedings. (OCoLC)fst01423772
Added Author	Blanchette, Jasmin, editor. https://orcid.org/0000-0002-8367-0936.
	Kovács, Laura, (DLC)nb2022011819 editor. https://orcid.org/0000-0002-8299-2714.
	Pattinson, Dirk, 1970- editor. https://orcid.org/0000-0002-5832-6666.
Added Title	IJCAR 2022
ISBN	9783031107696 (electronic book)
	3031107691 (electronic book)
	9783031107689 (print)
Standard No.	10.1007/978-3-031-10769-6 doi

-->