Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / Jasmin Blanchette, Laura Kovács, Dirk Pattinson (eds.).
Material type:
TextSeries: Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science ; 13385. | LNCS sublibrary. SL 7, Artificial intelligence.Publisher: Cham, Switzerland : Springer, 2022Description: 1 online resource (xv, 756 pages) : illustrations (some color)Content type: - text
- computer
- online resource
- 9783031107696
- 3031107691
- 9788303110763
- 8303110764
- IJCAR 2022
- Automatic theorem proving -- Congresses
- Computer logic -- Congresses
- Théorèmes -- Démonstration automatique -- Congrès
- Logique informatique -- Congrès
- Automatic theorem proving
- Computer logic
- Demostració automàtica de teoremes
- Lògica informàtica
- 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
- 511.3/6028563 23/eng/20220803
- QA76.9.A96
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
Open access. GW5XE
Includes author index.
This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Online resource; title from PDF title page (SpringerLink, viewed August 3, 2022).
Open Access EbpS