Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Geodesic
Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Kybernetika
Tome 15 (1979)
no. Suppl
Précédent
Suivant
Volume 15 (1979) no. Suppl
Sommaire
Statistical approach to proof theory
Kramosil, Ivan
p. 1,3
