On the equational theory of projection lattices of finite von Neumann factors.

Christian Herrmann

Published in: J. Symb. Log. (2010)

Keyphrases

von neumann
equational theories
hilbert space
expected utility
utility theory
search space
theorem proving
finite number
data mining
genetic algorithm
artificial intelligence
decision making
theoretical framework
theorem prover