A note on the proof of a theorem of Katz.

Published in: Finite Fields Their Appl. (2005)

Keyphrases

interactive theorem proving
theorem prover
theorem proving
proof planning
proof theory
relational databases
heavy traffic limit
natural deduction
medical images
information retrieval
learning environment
image segmentation
web services
image processing
knowledge base
artificial intelligence
genetic algorithm