Implementation of a theorem-prover based on semantic tableaux

Ediciones (1)

• Implementation of a theorem-prover based on semantic tableaux. (1987)

  Queen Mary College, Department of Computer Science and Statistics · inglés

Más obras de Steve Reeves

Building the Classic Physique

AAn example of algorithm development in Intuitionistic Type T

An example of algorithm development in Intuitionistic Type Theory

Logic for computer science