A Short Proof of Representability of Fork Algebras.

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

Keyphrases

theorem prover
theorem proving
decision making
real time
artificial intelligence
boolean functions
proof theory
database
data sets
data mining
hidden markov models
heuristic search
state space search
topological spaces
clifford algebra
geometry theorem proving