A Short Proof of a Theorem of Reid and Parker on Tournaments.

Victor Neumann-Lara

Published in: Graphs Comb. (1994)

Keyphrases

interactive theorem proving
linear logic
real time
artificial intelligence
neural network
image processing
case study
multiscale
von neumann
proof planning
intuitionistic logic