Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / Jasmin Blanchette, Laura Kovács, Dirk Pattinson (eds.).
2022
QA76.9.A96
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Open access
Document Delivery Supplied
Open access
Details
Title
Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / Jasmin Blanchette, Laura Kovács, Dirk Pattinson (eds.).
Meeting Name
ISBN
9783031107696 (electronic bk.)
3031107691 (electronic bk.)
9783031107689 (print)
3031107691 (electronic bk.)
9783031107689 (print)
Published
Cham, Switzerland : Springer, 2022.
Language
English
Description
1 online resource (xv, 756 pages) : illustrations (some color).
Item Number
10.1007/978-3-031-10769-6 doi
Call Number
QA76.9.A96
Dewey Decimal Classification
511.3/6028563
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
Includes author index.
Access Note
Open access.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed August 3, 2022).
Series
Lecture notes in computer science. Lecture notes in artificial intelligence.
Lecture notes in computer science ; 13385.
LNCS sublibrary. SL 7, Artificial intelligence.
Lecture notes in computer science ; 13385.
LNCS sublibrary. SL 7, Artificial intelligence.
Linked Resources
Record Appears in