Boolean Unification - The Story So Far.

Ursula Martin Tobias Nipkow

Published in: J. Symb. Comput. (1989)

Keyphrases

story generation
real valued
boolean functions
theorem proving
story telling
higher order
boolean logic
digital storytelling
automated theorem proving
interactive storytelling
equational theories
database
boolean networks
video sequences
data structure
optimal solution
information retrieval