Simple Inductive Proofs of the Fishburn and Mirkin Theorem and the Scott-Suppes Theorem.

Barry A. Balof Kenneth P. Bogart

Published in: Order (2003)

Keyphrases

interactive theorem proving
von neumann
image processing
case study
highly reliable
real time
database systems
concept learning