Accesso libero

Bertrand’s Ballot Theorem

   | 30 giu 2014
Formalized Mathematics's Cover Image
Formalized Mathematics
Special Issue: 25 years of the Mizar Mathematical Library
INFORMAZIONI SU QUESTO ARTICOLO

Cita

eISSN:
1898-9934
Lingua:
Inglese
Frequenza di pubblicazione:
Volume Open
Argomenti della rivista:
Mathematics, General Mathematics, Computer Sciences, other