Skip to content
Catalog
You are not logged in
|
Login
Your session will expire automatically in
0
seconds.
Continue session
End session now
Add to My Lists
Add to Bag
MARC Display
More Information
SearchType
Keyword
Author
Title
Subject
Call no.
Program Keyword
Program Name
Program Subject
Description
Program Code
Other
Other
Instructor
Other
Search
Search Scope
All Adult Collections
All Childrens Collections
All Young Adult Collections
All Libraries, Virtual Content
Avon Free Public Library
Berlin-Peck Memorial Library
Bloomfield Public Libraries
Bloomfield, Prosser Public Library
Bloomfield at the Atrium
Bristol Public Libraries
Bristol, Main Library
Bristol, Manross Branch
Burlington Public Library
Canton Public Library
Cheshire Public Library
Colchester, Cragin Memorial Library
Cromwell-Belden Public Library
East Hartford Public Libraries
East Hartford, Raymond Library
East Hartford, Wickham Branch
East Windsor, Library Association of Warehouse Poi
Enfield Public Libraries
Enfield Pearl Street Branch
Enfield, Main Library
Farmington Libraries
Farmington, Main Library
Farmington, Barney Branch
Glastonbury, Welles-Turner Memorial Library
Granby Public Libraries
Granby, F.H. Cossitt Branch
Granby, Main Library
Library Connection
Manchester Public Library
Mansfield Public Library
Mansfield, Main Library
Mansfield, Library Express
Mansfield, Maple Road Branch
Marlborough, Richmond Memorial Library
Middletown, Russell Library
New Britain Public Libraries
New Britain, Jefferson Branch
New Britain, Main Library
Newington, Lucy Robbins Welles Library
Plainville Public Library
Portland Public Library
Rocky Hill, Cora J. Belden Library
Simsbury Public Library
South Windsor Public Library
Southington Library
University of Saint Joseph: Pope Pius XII Library
View Entire Collection
West Hartford Public Libraries
West Hartford, Bishop's Corner Branch
West Hartford, Faxon Branch
West Hartford, Noah Webster Library
Wethersfield Public Library
Windsor Public Libraries
Windsor Locks Public Library
Windsor, Main Library
Windsor, Wilson Branch
Limit search to available items
(Search History)
Author: IJCAR (Conference) in View Entire Collection
(Clear Search History)
(End Search Session)
Search history function requires JavaScript.
Previous Record
Next Record
Bestseller
Conference
IJCAR (Conference) (11th : 2022 : Haifa, Israel)
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
-->
Permanent Link
Add a Review
Search: