Automaatne teoreemide tõestamine

Automaatne teoreemide tõestamine – sellest kategooriast leiad 20 raamatut. Tunnustatud klassikast uusimate väljaanneteni. Telli internetist, tarnime üle Eesti.

Automaatne teoreemide tõestamine

Näitan 1-20 / 20+
Tableau, Tableauresolution und Tableaugraphresolution
Bookshop
€51,45-21%
€65,07
Tarne 3-4 näd
Automated Technology for Verification and Analysis
Dang Van Hung
€55,55-4%
€57,74
Tarne 3-4 näd
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Mitsuhiro T. Nakao
€146,49-3%
€151,49
Tarne 3-4 näd
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Mitsuhiro T. Nakao
€146,49-3%
€151,49
Tarne 3-4 näd
Automated Reasoning with Analytic Tableaux and Related Methods
Renate A. Schmidt
€67,68-4%
€70,24
Tarne 3-4 näd
Automated Reasoning with Analytic Tableaux and Related Methods
Hans De Nivelle
€55,55-4%
€57,74
Tarne 3-4 näd
Automated Technology for Verification and Analysis
Bernd Finkbeiner
€55,55-4%
€57,74
Tarne 3-4 näd
Interactive Theorem Proving
Jeremy Avigad
€97,99-3%
€101,49
Tarne 3-4 näd
Interactive Theorem Proving
Christian Urban
€55,55-4%
€57,74
Tarne 3-4 näd
Interactive Theorem Proving
Jasmin Christian Blanchette
€55,55-4%
€57,74
Tarne 3-4 näd
Logic Programming
James H. Andrews
€47,07-4%
€49,00
Tarne 3-4 näd
Logical Frameworks
Gerard (Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt) Huet
€110,12-3%
€113,99
Tarne 3-4 näd
Mathematical Reasoning with Diagrams
Mateja Jamnik
€80,26-19%
€99,42
Tarne 3-4 näd
Metamathematics, Machines and Godel's Proof
N. Shankar
€55,56-4%
€57,75
Tarne 3-4 näd
Little Prover
Daniel P. Friedman
€53,14-4%
€55,25
Tarne 3-4 näd
Proof Theory and Automated Deduction
J. Goubault-Larrecq
€55,55-4%
€57,74
Tarne 3-4 näd
Symbolic Computation and Automated Reasoning
Michael Kohlhase
€116,18-3%
€120,24
Tarne 3-4 näd
Automated Reasoning
Nicola Olivetti
€85,87-4%
€88,99
Tarne 3-4 näd
Automated Technology for Verification and Analysis
Cyrille Artho
€55,55-4%
€57,74
Tarne 3-4 näd