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...
Sábháilte in:
| Formáid: | Online |
|---|---|
| Teanga: | Béarla |
| Foilsithe / Cruthaithe: |
Springer Nature
2024
|
| Ábhair: | |
| Rochtain ar líne: | ONIX_20240716_9783031635014_33 |
| Clibeanna: |
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|
| _version_ | 1869521588610662400 |
|---|---|
| collection | Directory of Open Access Books |
| description | 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. |
| format | Online |
| id | doab-20.500.12854ir-142350 |
| 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-1423502024-07-18T05:50:55Z 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::UYQ Artificial intelligence 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::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UK Computer hardware 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. 2024-07-18T05:50:50Z 2024-07-18T05:50:50Z 2024-07-16T18:51:47Z 2024 book ONIX_20240716_9783031635014_33 https://library.oapen.org/handle/20.500.12657/92348 9783031635014 9783031635007 https://directory.doabooks.org/handle/20.500.12854/142350 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/92348/1/978-3-031-63501-4.pdf Springer Nature Springer Nature Switzerland 10.1007/978-3-031-63501-4 10.1007/978-3-031-63501-4 9fa3421d-f917-4153-b9ab-fc337c396b5a 272e907d-8344-4de7-9b77-7ec08a90695e 9783031635014 9783031635007 Springer Nature Switzerland 424 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::UYQ Artificial intelligence 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::UYA Mathematical theory of computation 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::UYQ Artificial intelligence 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::UYA Mathematical theory of computation 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::UYQ Artificial intelligence 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::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UK Computer hardware |
| url | ONIX_20240716_9783031635014_33 |