A New Proof that "Krull implies Zorn".

Bernhard Banaschewski

Published in: Math. Log. Q. (1994)

Keyphrases

theorem prover
theorem proving
information systems
logical rules
linear logic
mobile robot
control system
geometry theorem proving
mathematical proofs
proof planning
real time
search algorithm
multi agent
three dimensional
decision making
machine learning
data mining