Automated Reasoning
Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full research papers and 6 short papers presented in this bo...
| Autores principales: | , , |
|---|---|
| Formato: | Libro |
| Publicado: |
Springer Nature Switzerland
2024
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=nlebk&AN=3976554&site=ehost-live header: @attributes: shortDbName: nlebk uiTerm: 3976554 longDbName: eBook Collection (EBSCOhost) uiTag: AN controlInfo: bkinfo: btl: Automated Reasoning aug: au: Christoph Benzmüller Marijn J.H. Heule Renate A. Schmidt sertl: Lecture Notes in Computer Science isbn: 9783031635007 9783031635014 imageinfo: pubinfo: dt: @attributes: year: 2024 month: 01 day: 01 dtAvail: @attributes: year: 2026 month: 06 day: 04 vid: 14740 pub: Springer Nature Switzerland pubContract: Springer Nature place: [N.p.] price: 0.01 limitsGroup: maxCheckoutDays: 1500 copyPages: 10 pda: N printPagesOffline: 10 printPagesOnline: 10 previewPages: 0 prePubGroup: dewey: @attributes: class: 006.3 item: 006 .3 lc: @attributes: class: Q334-342 item: Q 334-342 artinfo: ui: 3976554 1445836172 formats: fmt: – @attributes: type: EB doid: NL$3976554$PDF caption: PDF download: Y – @attributes: type: EK doid: NL$3976554$EPUB caption: EPUB download: Y tig: atl: Automated Reasoning ptl: Automated Reasoning aug: au: Christoph Benzmüller Marijn J.H. Heule Renate A. Schmidt su: Artificial intelligence Software engineering Machine theory Computer engineering Computer networks Computer science sug: subj: COMPUTERS / Artificial Intelligence / General COMPUTERS / Computer Science COMPUTERS / Software Development & Engineering / General COMPUTERS / Hardware / General Artificial intelligence Software engineering Machine theory Computer engineering Computer networks Computer science ab: Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions. The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models. This book is open access. pubtype: eBook doctype: Book ougenre: Book language: English copyright: @attributes: flag: N copyrightText: holdings: @attributes: islocal: N |
|---|