Antiquariat Haufe&Lutz
--- 57. Antiquariatsmesse Stuttgart 26. bis 28. Januar 2018 --- Antiquariatsmesse Colmar 02. bis 04. März 2018 --- Leipziger Antiquariatsmesse 15. bis 18. März 2018 ---

Quaife, Automated Development of Fundamental Mathematical Theories

Quaife, Art. Automated Development of Fundamental Mathematical Theories. Dordrecht, Boston, London, Kluwer Academic Publishers 1992. 8°. 271 p., 1 Bl. Farbig illustr. OPbd. (Automated Reasoning Series).

First edition. - Automated development of fundamental mathematical theories provides an introduction to automated reasoning, and in particular to resolution theorem proving using the prover Otter. Here, the author presents a clausal version of von Neumann-Bernays-Godel set theory, and lists over 400 theorems proved semi-automatically in elementary set theory. - Mint copy.

Unser Preis: EUR 81,-- 


HescomShop - Das Webshopsystem für Antiquariate | © 2006-2017 by HESCOM-Software. Alle Rechte vorbehalten.