Login / Signup
Tarski's Parallel Postulate implies the 5th Postulate of Euclid, the Postulate of Playfair and the original Parallel Postulate of Euclid.
Roland Coghetto
Published in:
Arch. Formal Proofs (2021)
Keyphrases
</>
belief change
belief revision
database
data mining
artificial intelligence
parallel processing
decision making
three dimensional
preprocessing
general purpose
parallel computation