Automated Reasoning
Odporučiť
  • Anglický jazyk

Automated Reasoning

Autor: Christoph Benzmüller

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... Viac o knihe

Na objednávku

39.59 €

bežná cena: 43.99 €

O knihe

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.

  • Vydavateľstvo: Springer
  • Rok vydania: 2024
  • Formát: Paperback
  • Rozmer: 235 x 155 mm
  • Jazyk: Anglický jazyk
  • ISBN: 9783031634970

Odporúčané tituly:

Spieleprogrammierung, m. CD-ROM
  • Nemecký jazyk Nemecký jazyk

Spieleprogrammierung, m. CD-ROM

Martin Stephen

31.73 € 35.25 € (ušetríte 10%)
Levin, L: Easyscript/Computerscript 1
  • Anglický jazyk Anglický jazyk

Levin, L: Easyscript/Computerscript 1

115.32 € 128.13 € (ušetríte 10%)
Customizing Materials Management Processes in SAP ERP

Customizing Materials Management Processes in SAP ERP

69.26 € 76.95 € (ušetríte 10%)
Pro Javascript Techniques
  • Anglický jazyk Anglický jazyk

Pro Javascript Techniques

John Resig

50.90 € 56.56 € (ušetríte 10%)
NX-OS and Cisco Nexus Switching
  • Anglický jazyk Anglický jazyk

NX-OS and Cisco Nexus Switching

Rôzni autori (editori)

65.63 € 72.92 € (ušetríte 10%)
The Impact of the Internet on Our Moral Lives
  • Anglický jazyk Anglický jazyk

The Impact of the Internet on Our Moral Lives

Robert J. Cavalier

24.18 € 26.87 € (ušetríte 10%)
Data Model Patterns: A Metadata Map
  • Anglický jazyk Anglický jazyk

Data Model Patterns: A Metadata Map

DAVID C. HAY

69.85 € 77.61 € (ušetríte 10%)
Digital Layout for the Internet and Other Media
  • Anglický jazyk Anglický jazyk

Digital Layout for the Internet and Other Media

David Skopec

49.18 € 54.64 € (ušetríte 10%)
Art of Downloading Music, The
  • Anglický jazyk Anglický jazyk

Art of Downloading Music, The

Steve Levine

12.64 € 14.04 € (ušetríte 10%)
Microsoft Office System 2003 Step by Step
  • Anglický jazyk Anglický jazyk

Microsoft Office System 2003 Step by Step

Microsoft

58.73 € 65.26 € (ušetríte 10%)
Photoshop User`s A-Z, The
  • Anglický jazyk Anglický jazyk

Photoshop User`s A-Z, The

Peter Cope

31.13 € 34.59 € (ušetríte 10%)
Handbook of Computer Game Studies
  • Anglický jazyk Anglický jazyk

Handbook of Computer Game Studies

RAESSENS ⁄GOLDSTEIN

67.49 € 74.99 € (ušetríte 10%)

Generuje redakčný systém BUXUS CMS spoločnosti ui42.