Otwarty dostęp

Tarski Geometry Axioms

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

Zacytuj

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
Język:
Angielski
Częstotliwość wydawania:
Volume Open
Dziedziny czasopisma:
Mathematics, General Mathematics, Computer Sciences, other