About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Issue Suppl,  Volume 15, 1979 (Kybernetika)

1,3-97 Statistical approach to proof theory.  Kramosil, Ivan
 
Partner of
EuDML logo