Parcourir par
Collections
Sources
Geodesic
Parcourir par
Collections
Sources
Kybernetika
Tome 15 (1979)
no. Suppl
Précédent
Suivant
Tome 15 (1979) no. Suppl
Sommaire
Statistical approach to proof theory
Kramosil, Ivan
p. 1-97