Wyniki wyszukiwania:
wyszukanych pozycji: 4
 |
Automated Reasoning: 11th International Joint Conference, Ijcar 2022, Haifa, Israel, August 8-10, 2022, Proceedings
ISBN: 9783031107689 / Angielski / Miękka / 2022 Termin realizacji zamówienia: ok. 22 dni roboczych. This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs... This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held i... |
cena:
160,99 |
 |
Tests and Proofs: 9th International Conference, Tap 2015, Held as Part of Staf 2015, l'Aquila, Italy, July 22-24, 2015. Proceedings
ISBN: 9783319212142 / Angielski / Miękka / 2015 / 209 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions.
This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 20...
|
cena:
193,23 |
 |
Proof Assistants and Their Applications in Mathematics and Computer Science
ISBN: 9783031851896 / Angielski / 12-02-2026 Książka dostępna od: 12-02-2026 |
|
Planowany termin premiery książki: 12-02-2026
Książkę można już zamówić z rabatem 5% |
|
310,69 |
 |
Interactive Theorem Proving: 7th International Conference, Itp 2016, Nancy, France, August 22-25, 2016, Proceedings
ISBN: 9783319431437 / Angielski / Miękka / 2016 / 502 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.
The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories. This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in...
|
cena:
201,24 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
