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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Benzmüller, Christoph, Heule, Marijn J. H, Schmidt, Renate A
Format: E-Book
Sprache:Englisch
Veröffentlicht: Cham Springer Nature 2024
Springer
Ausgabe:1
Schriftenreihe:Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
Schlagworte:
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
ISBN:9783031635007, 3031635000, 3031635019, 9783031635014
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
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 V1H
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://directory.doabooks.org/handle/20.500.12854/142350
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/eLvHCXMwpV1JS0MxEA7SevBUl4p1o4LXaNaXvKOWioKIiEhvIS9vAl5ei23Fn-_kLaKIJ4_JHMIMWb5Z8g0h56wEbnzwFITMqIKCUWuLQAutRdAQjC1rEtd78_BgZ7P88Vurr-Yin6eq5rlPOHNZp_MbygH01C80S4wIVqtLjkggeet9dHGyVM31wm-_witSoKPOsvSbA7ctvqo4923A84Z850tofo656jKgLQmtpCihtYiq1BzJL6D6dX_Xj9LN4B_qbJM-pF8OO2QDql0y6Ho7jNujvkd2r9arOaJZKMdP4Jd10HZIXm6mz5Nb2jZQoF5IxT4o8ICAz1sjoxQ-QETvqmSR88CAK-9ZVsZoVZA5SO5RV2-y0pdcFZxHBFZyn_SqeQUHZBwQSRoPxgvmldV5IW2UheI5IhqIRRyRYW0T1ynqGoVGJGvmFw17hkt81m2EyjUStIgTzKEpHBeZNg5Bp7IjctYZ19WJ47Za1U2vJ5IntiitD_9Y9IhsCQQfTajkmPRWb2s4IZvhffW6fDtF_GzuTuv98gnbNLY5
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_id=info:doi/10.1007%2F978-3-031-63501-4&rft.externalDBID=V1H&rft.externalDocID=142350
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