Automated Reasoning

Name: Automated Reasoning
Brand: Springer International Publishing AG
SKU: 9783031107689
Price: 40.06 EUR
Availability: InStock

11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

Autor: Jasmin Blanchette, Laura Kovács, Dirk Pattinson

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer International Publishing AG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

40.06 €

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Confer...

Informácie o knihe

Autor

Jasmin Blanchette, Laura Kovács, Dirk Pattinson

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2022

Stránok

756

EAN

9783031107689

Enbook ID

39302451

Vydavateľ

Springer International Publishing AG

Hmotnosť

1163

Rozmery

155 x 235 x 42

Kompletný popis

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 Search; Evolution, Termination and Decision Prolems.This is an open access book.

Mohlo by vás zaujímať

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Automated Reasoning

11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

GPU Computing Gems Emerald Edition