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-20 iš 20+
Tableau, Tableauresolution und Tableaugraphresolution
Bookshop
227,00 zł-21%
287,00 zł
Pristatymas 3-4 sav.
Automated Technology for Verification and Analysis
Dang Van Hung
245,00 zł-4%
254,00 zł
Pristatymas 3-4 sav.
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Mitsuhiro T. Nakao
645,00 zł-3%
667,00 zł
Pristatymas 3-4 sav.
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Mitsuhiro T. Nakao
645,00 zł-3%
667,00 zł
Pristatymas 3-4 sav.
Automated Reasoning with Analytic Tableaux and Related Methods
Renate A. Schmidt
298,00 zł-4%
309,00 zł
Pristatymas 3-4 sav.
Automated Reasoning with Analytic Tableaux and Related Methods
Hans De Nivelle
245,00 zł-4%
254,00 zł
Pristatymas 3-4 sav.
Automated Technology for Verification and Analysis
Bernd Finkbeiner
245,00 zł-4%
254,00 zł
Pristatymas 3-4 sav.
Interactive Theorem Proving
Jeremy Avigad
431,00 zł-4%
447,00 zł
Pristatymas 3-4 sav.
Interactive Theorem Proving
Christian Urban
245,00 zł-4%
254,00 zł
Pristatymas 3-4 sav.
Interactive Theorem Proving
Jasmin Christian Blanchette
245,00 zł-4%
254,00 zł
Pristatymas 3-4 sav.
Logic Programming
James H. Andrews
208,00 zł-4%
216,00 zł
Pristatymas 3-4 sav.
Logical Frameworks
Gerard (Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt) Huet
485,00 zł-3%
502,00 zł
Pristatymas 3-4 sav.
Mathematical Reasoning with Diagrams
Mateja Jamnik
353,00 zł-19%
438,00 zł
Pristatymas 3-4 sav.
Metamathematics, Machines and Godel's Proof
N. Shankar
245,00 zł-4%
254,00 zł
Pristatymas 3-4 sav.
Little Prover
Daniel P. Friedman
234,00 zł-4%
243,00 zł
Pristatymas 3-4 sav.
Proof Theory and Automated Deduction
J. Goubault-Larrecq
245,00 zł-4%
254,00 zł
Pristatymas 3-4 sav.
Symbolic Computation and Automated Reasoning
Michael Kohlhase
511,00 zł-3%
529,00 zł
Pristatymas 3-4 sav.
Automated Reasoning
Nicola Olivetti
378,00 zł-4%
392,00 zł
Pristatymas 3-4 sav.
Automated Technology for Verification and Analysis
Cyrille Artho
245,00 zł-4%
254,00 zł
Pristatymas 3-4 sav.