Superposition as a logical glue

Andrea Asperti Enrico Tassi

Published in: TYPES (2009)

Keyphrases

theorem proving
software package
logical representation
logical operations
real world
three dimensional
high level
loosely coupled
truth values