Automated Reasoning Series – serie
Visar alla böcker i serien Automated Reasoning Series. Handla med fri frakt och snabb leverans.
5 produkter
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 …
Resolution Proof Systems
An Algebraic Theory
Av Z. Stachniak
Inbunden, 1996
1130 kr
Lägg i varukorg
Resolution Proof Systems: An Algebraic Theory presents a new algebraic framework for the design and analysis of resolution- based automated reasoning systems for a range of non-classical logics. It develops an algebraic theory of resolution proof systems focusing on the problems of proof theory, …
Automated Reasoning
Essays in Honor of Woody Bledsoe
Häftad, 2012
1098 kr
Lägg i varukorg
These essays have been written to honor W. W. Bledsoe, a scientist who has contributed to such diverse fields as mathematics, systems analysis, pattern recognition, biology, artificial intelligence, and automated reasoning. The first essay provides a sketch of his life, emphasizing his scientific …
Resolution Proof Systems
An Algebraic Theory
Av Z. Stachniak
Häftad, 2011
1098 kr
Lägg i varukorg
Resolution Proof Systems: An Algebraic Theory presents a new algebraic framework for the design and analysis of resolution- based automated reasoning systems for a range of non-classical logics. It develops an algebraic theory of resolution proof systems focusing on the problems of proof theory, …
Piton
A Mechanically Verified Assembly-Level Language
Häftad, 2013
551 kr
Lägg i varukorg
Mountaineers use pitons to protect themselves from falls. The lead climber wears a harness to which a rope is tied. As the climber ascends, the rope is paid out by a partner on the ground. As described thus far, the climber receives no protection from the rope or the partner. However, the climber …
