Automated Reasoning
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 f...
Gorde:
| Formatua: | Online |
|---|---|
| Hizkuntza: | ingelesa |
| Argitaratua: |
Springer Nature
2024
|
| Gaiak: | |
| Sarrera elektronikoa: | ONIX_20240716_9783031634987_32 |
| Etiketak: |
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
| _version_ | 1869519992736710656 |
|---|---|
| collection | Directory of Open Access Books |
| description | 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. |
| format | Online |
| id | doab-20.500.12854ir-142474 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2024 |
| publishDateRange | 2024 |
| publishDateSort | 2024 |
| publisher | Springer Nature |
| publisherStr | Springer Nature |
| record_format | ojs |
| spelling | doab-20.500.12854ir-1424742024-07-23T13:41:58Z Automated Reasoning Benzmüller, Christoph Heule, Marijn J.H. Schmidt, Renate A. Automated reasoning Logic Logic and verification Modal and temporal logics Proof theory Interactive proof systems Description logics Equational logic and rewriting First-order logic Higher order logic Programming logic Separation logic Intuitionistic Logics Deontic Logic Non-classical Logics Theorem Proving Satisfiability Solving Modal Logics Rewriting thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UK Computer hardware 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. 2024-07-23T13:41:53Z 2024-07-23T13:41:53Z 2024-07-16T18:51:45Z 2024 book ONIX_20240716_9783031634987_32 https://library.oapen.org/handle/20.500.12657/92347 9783031634987 9783031634970 https://directory.doabooks.org/handle/20.500.12854/142474 eng Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence open access image/jpeg n/a https://library.oapen.org/bitstream/20.500.12657/92347/1/978-3-031-63498-7.pdf Springer Nature Springer Nature Switzerland 10.1007/978-3-031-63498-7 10.1007/978-3-031-63498-7 9fa3421d-f917-4153-b9ab-fc337c396b5a 272e907d-8344-4de7-9b77-7ec08a90695e 9783031634987 9783031634970 Springer Nature Switzerland 482 Cham [...] open access |
| spellingShingle | Automated reasoning Logic Logic and verification Modal and temporal logics Proof theory Interactive proof systems Description logics Equational logic and rewriting First-order logic Higher order logic Programming logic Separation logic Intuitionistic Logics Deontic Logic Non-classical Logics Theorem Proving Satisfiability Solving Modal Logics Rewriting thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UK Computer hardware Automated Reasoning |
| title | Automated Reasoning |
| title_full | Automated Reasoning |
| title_fullStr | Automated Reasoning |
| title_full_unstemmed | Automated Reasoning |
| title_short | Automated Reasoning |
| title_sort | automated reasoning |
| topic | Automated reasoning Logic Logic and verification Modal and temporal logics Proof theory Interactive proof systems Description logics Equational logic and rewriting First-order logic Higher order logic Programming logic Separation logic Intuitionistic Logics Deontic Logic Non-classical Logics Theorem Proving Satisfiability Solving Modal Logics Rewriting thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UK Computer hardware |
| topic_facet | Automated reasoning Logic Logic and verification Modal and temporal logics Proof theory Interactive proof systems Description logics Equational logic and rewriting First-order logic Higher order logic Programming logic Separation logic Intuitionistic Logics Deontic Logic Non-classical Logics Theorem Proving Satisfiability Solving Modal Logics Rewriting thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UK Computer hardware |
| url | ONIX_20240716_9783031634987_32 |