More on Brouwer's Refutations.

Philip Scowcroft

Published in: Ann. Pure Appl. Log. (1989)

Keyphrases

theorem prover
fixed point theorem
multi agent systems
probability distribution
fixed point
proof search
object recognition
special case
software engineering
continuous functions