Give feedback

Thanks for taking the time to share your feedback about the DML-CZ system. Your comments are appreciated!

  1. Article:
    A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula
  2. Author:
    Kramosil, Ivan
  3. Source:
    Kybernetika / 3
  4. Your name:
    Please enter your name
  5. Your Email:
    This address will be used to follow up on your feedback.
Partner of
EuDML logo