Art Quaife – författare

Visar alla böcker från författaren Art Quaife. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Automated Development of Fundamental Mathematical Theories

   Av Art Quaife

   Inbunden, 1992

   2406 kr

   Lägg i varukorg

   The author provides an introduction to automated reasoning, and in particular to resolution theorem proving using the prover OTTER. He presents a new clausal version of von Neumann-Bernays-Gödel set theory, and lists over 400 theorems proved semiautomatically in elementary set theory. He presents a …