Accesso libero

Tarski Geometry Axioms

Formalized Mathematics's Cover Image
Formalized Mathematics
Special Issue: 25 years of the Mizar Mathematical Library
INFORMAZIONI SU QUESTO ARTICOLO

Cita

William Richter
Departament of Mathematics Nortwestern University Evanston, USA
Adam Grabowski
Institute of Informatics University of Białystok Akademicka 2, 15-267 Białystok Poland
Jesse Alama
Technical University of Vienna Austria
eISSN:
1898-9934
Lingua:
Inglese
Frequenza di pubblicazione:
Volume Open
Argomenti della rivista:
Mathematics, General Mathematics, Computer Sciences, other