Accès libre

Bertrand’s Ballot Theorem

   | 30 juin 2014
Formalized Mathematics's Cover Image
Formalized Mathematics
Special Issue: 25 years of the Mizar Mathematical Library
À propos de cet article

Citez

Karol Pąk
Institute of Informatics University of Białystok Sosnowa 64, 15-887 Białystok Poland
eISSN:
1898-9934
Langue:
Anglais
Périodicité:
Volume Open
Sujets de la revue:
Mathematics, General Mathematics, Computer Sciences, other