Acceso abierto

Bertrand’s Ballot Theorem

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

Cite

Karol Pąk
Institute of Informatics University of Białystok Sosnowa 64, 15-887 Białystok Poland
eISSN:
1898-9934
Idioma:
Inglés
Calendario de la edición:
Volume Open
Temas de la revista:
Mathematics, General Mathematics, Computer Sciences, other