Using meta-variables for natural deduction in theorema

Research output: Chapter in Book/Report/Conference proceedingConference proceedings

Original languageEnglish
Title of host publicationProceedings of the CALCULEMUS 2000 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning
Number of pages16
Publication statusPublished - Dec 2000

Fields of science

  • 101 Mathematics

Cite this