Uneingeschränkter Zugang

Preface

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

Zitieren

Adam Grabowski
Institute of Informatics, University of Białystok, Akademicka 2, 15-267 Białystok, Poland
Yasunari Shidama
Shinshu University, Nagano, Japan
eISSN:
1898-9934
Sprache:
Englisch
Zeitrahmen der Veröffentlichung:
4 Hefte pro Jahr
Fachgebiete der Zeitschrift:
Informatik, andere, Mathematik, Allgemeines