The PCS Prover in Theorema

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

Original languageEnglish
Title of host publicationProceedings of EUROCAST 2001
Number of pages9
Publication statusPublished - Feb 2001

Publication series

NameLecture Notes in Computer Science (LNCS)
ISSN (Print)0302-9743

Fields of science

  • 101 Mathematics

JKU Focus areas

  • Computation in Informatics and Mathematics

Cite this