Conditional Equational Theories and Complete Sets of Transformations.

Steffen Hölldobler

Published in: Theor. Comput. Sci. (1990)

Keyphrases

equational theories
machine learning
theorem proving
epistemic states
artificial intelligence
video sequences
prior knowledge
object oriented
function symbols