A Simple Proof of Miller-Yu Theorem.

Laurent Bienvenu Wolfgang Merkle Alexander Shen

Published in: Fundam. Informaticae (2008)

Keyphrases

interactive theorem proving
artificial intelligence
data structure
databases
genetic algorithm
feature selection
image processing
multimedia
case study
digital libraries
theorem proving
highly reliable
linear logic
digital topology