Inheritance of Proofs.

Martin Hofmann Wolfgang Naraschewski Martin Steffen Terry Stroup

Published in: Theory Pract. Object Syst. (1998)

Keyphrases

object oriented databases
knowledge representation
object oriented
theorem proving
search algorithm
theorem prover
decision procedures
equational theories
multiple inheritance
search engine
feature selection
expert systems
formal proof