Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II
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...
Uloženo v:
| Hlavní autoři: | , , |
|---|---|
| Médium: | E-kniha |
| Jazyk: | angličtina |
| Vydáno: |
Cham
Springer Nature
2024
Springer |
| Vydání: | 1 |
| Edice: | Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence |
| Témata: | |
| ISBN: | 9783031635007, 3031635000, 3031635019, 9783031635014 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | 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. |
|---|---|
| AbstractList | 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. |
| Author | Schmidt, Renate A Benzmüller, Christoph Heule, Marijn J. H |
| Author_xml | – sequence: 1 fullname: Benzmüller, Christoph – sequence: 2 fullname: Heule, Marijn J. H – sequence: 3 fullname: Schmidt, Renate A |
| BookMark | eNpVUD1PAzEMDeJD0NKJCYmBkSVgx0nubmAoVfmQKiEhxBq5d0l10F7K3VWCf0-gDDDZfn7PfvZA7DWx8UKcIlwiQHZVZLkkCYTSkgGUekeMEkYJ-QH07r8asgMxQK1NThYzdShGXfcKAKSIAOyROBlv-rji3lfnT5672NTN4ljsB152fvQbh-Lldvo8uZezx7uHyXgmWZGGD-mxRAOcZxRIcelDXhQVBMQSPGpmsFUIuS6p8IScvHBmK65QzxGDRaChuNgOXrfxfeO73vl5jG-lb_qWl256MyE0CsCYRL3eUiOvfePWbb3i9tNFrt2ynrfb_LsT24VT4NLpDpU1mSuS2Tzpz_7qq8jfmzqHWqU30RfdemEQ |
| ContentType | eBook |
| DBID | V1H A7I |
| DOI | 10.1007/978-3-031-63501-4 |
| DatabaseName | DOAB: Directory of Open Access Books OAPEN |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: V1H name: DOAB: Directory of Open Access Books url: https://directory.doabooks.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 9783031635014 3031635019 |
| Edition | 1 |
| Editor | Heule, Marijn J.H Schmidt, Renate A Benzmüller, Christoph |
| Editor_xml | – sequence: 1 fullname: Benzmüller, Christoph – sequence: 2 fullname: Heule, Marijn J.H – sequence: 3 fullname: Schmidt, Renate A |
| ExternalDocumentID | EBC31520055 oai_library_oapen_org_20_500_12657_92348 142350 |
| GroupedDBID | A7I AABBV AACKP AAHEH AAKKN AALJR AAQKC ABEEZ ABHYI ABLGM ADZDO AEDXK AEIVC AEKFX AFIJG AGWHU AIQUZ ALMA_UNASSIGNED_HOLDINGS ALNDD BBABE IEZ SBO TPJZQ TSXQS V1H Z5O Z7R Z7S Z7U Z7V Z7W Z7X Z7Y Z7Z Z81 Z82 Z83 Z84 Z85 Z87 Z88 |
| ID | FETCH-LOGICAL-a2340x-e1c150a873f32acef899d0f11c0e14aa06dff84c39e31a007a76dad14b11f6103 |
| IEDL.DBID | A7I |
| ISBN | 9783031635007 3031635000 3031635019 9783031635014 |
| IngestDate | Wed Jun 11 00:19:39 EDT 2025 Mon Dec 01 21:32:59 EST 2025 Tue Oct 07 21:28:07 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCallNum_Ident | Q334-342 |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a2340x-e1c150a873f32acef899d0f11c0e14aa06dff84c39e31a007a76dad14b11f6103 |
| OCLC | 1445836172 |
| OpenAccessLink | https://library.oapen.org/handle/20.500.12657/92348 |
| PQID | EBC31520055 |
| PageCount | 424 |
| ParticipantIDs | proquest_ebookcentral_EBC31520055 oapen_primary_oai_library_oapen_org_20_500_12657_92348 oapen_doabooks_142350 |
| PublicationCentury | 2000 |
| PublicationDate | 2024 |
| PublicationDateYYYYMMDD | 2024-01-01 |
| PublicationDate_xml | – year: 2024 text: 2024 |
| PublicationDecade | 2020 |
| PublicationPlace | Cham |
| PublicationPlace_xml | – name: Cham |
| PublicationSeriesTitle | Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence |
| PublicationYear | 2024 |
| Publisher | Springer Nature Springer |
| Publisher_xml | – name: Springer Nature – name: Springer |
| SSID | ssj0003233006 |
| Score | 2.3833444 |
| Snippet | 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... |
| SourceID | proquest oapen |
| SourceType | Publisher |
| SubjectTerms | Artificial intelligence Automated reasoning Computer hardware Computer programming / software engineering Computer science Computing and Information Technology Deontic Logic Description logics Equational logic and rewriting First-order logic Higher order logic Interactive proof systems Intuitionistic Logics Logic Logic and verification Mathematical theory of computation Modal and temporal logics Modal Logics Non-classical Logics Programming logic Proof theory Rewriting Satisfiability Solving Separation logic Software Engineering Theorem Proving |
| Subtitle | 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II |
| Title | Automated Reasoning |
| URI | https://directory.doabooks.org/handle/20.500.12854/142350 https://library.oapen.org/handle/20.500.12657/92348 https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=31520055 |
| Volume | 14740 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LSwMxEA7aevBUrRXriwpeU_LqPo61tFSQIiKltzDNA7x0pduKP99JdusDb70sJANh85FN5pvZ-ULIPfeD3GbCU5uBp8omnEIKQLkxEpiXIjOxUPgpnc2yxSJ_ruu4y5_YRb8AZPMxk1-pDSBJ7w9YEENIkMKjV6KyQ9JMhMgD4xqmj9-BFSmQorMk1HHggsXzFPt-NXheye58G9O_ba52uc9aflZStNBooipcixTe7N_OHY-jSWuviZyQpguVDafkwK3apLW7z6FXf95npD3cbgr0YJ3tvTgoY6C2Q-aT8etoSutLEyjgWOyTOm7QyYMslYg0GOeRUVnmOTfMcQXAEut9pozMneSAs4Q0sWC5WnLu0ZmS56SxKlbugvQ8OiuQmzCGUyI1S-aUNdziJsmM97JLOnF62hYQOEGJREIgUF2SVP3vlWKGDhrWNSC6siAgWjCNSOiIhI5IdMndDlYdk8X1H6p6_DCSPChEDQaX-w5-RY4FeiRV_OSaNDbrrbshR-Zj81aub-MiwuecT78Agam-Qg |
| linkProvider | Open Access Publishing in European Networks |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Automated+Reasoning&rft.series=Lecture+Notes+in+Computer+Science%3B+Lecture+Notes+in+Artificial+Intelligence&rft.date=2024-01-01&rft.pub=Springer+Nature&rft.isbn=9783031635007&rft.volume=14740&rft_id=info:doi/10.1007%2F978-3-031-63501-4&rft.externalDBID=A7I&rft.externalDocID=oai_library_oapen_org_20_500_12657_92348 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783031635007/lc.gif&client=summon&freeimage=true |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783031635007/mc.gif&client=summon&freeimage=true |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783031635007/sc.gif&client=summon&freeimage=true |