A Note on Goodman's Theorem.

Ulrich Kohlenbach

Published in: Stud Logica (1999)

Keyphrases

von neumann
onset detection
viewpoint
image analysis
fixed point
data sets
information systems
decision making
three dimensional
digital images
digital topology
interactive theorem proving