Automatinis teoremų įrodymas

Automatinis teoremų įrodymas – šioje kategorijoje rasite 20 knygų. Nuo pripažintos klasikos iki naujausių leidimų. Užsakykite internetu, pristatome visoje Lietuvoje.

Automatinis teoremų įrodymas

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