Marijn J.H. Heule | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?

AUTOMATED REASONING - 12TH INTERNATIONAL JOINT CONFERENCE, IJCAR 2024, NANCY, FRANCE, JULY 3–6, 2024, PROCEEDINGS, PART II

Christoph Benzmüller; Marijn J.H. Heule; Renate A. Schmidt
Springer International Publishing AG (2024)
Pehmeäkantinen kirja

72,80 €

AUTOMATED REASONING - 12TH INTERNATIONAL JOINT CONFERENCE, IJCAR 2024, NANCY, FRANCE, JULY 3–6, 2024, PROCEEDINGS, PART I

Christoph Benzmüller; Marijn J.H. Heule; Renate A. Schmidt
Springer International Publishing AG (2024)
Pehmeäkantinen kirja

40,00 €

Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II

Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt

72,80 €

Springer International Publishing AG
Sivumäärä: 424 sivua
Asu: Pehmeäkantinen kirja
Painos: 2024 ed.
Julkaisuvuosi: 2024, 02.07.2024 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Artificial Intelligence

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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus