Uneingeschränkter Zugang

Tarski Geometry Axioms

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

Zitieren

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
Sprache:
Englisch
Zeitrahmen der Veröffentlichung:
Volume Open
Fachgebiete der Zeitschrift:
Mathematik, Allgemeines, Informatik, andere