Edit search
Teaching logic using a state-of-the-art proof assistant
Teaching logic using a state-of-the-art proof assistant
Article, Chapter
Authors: C. Kaliszyk
Publication: Page(s):37
Published: 2007
Browse related articles
  Request a copy of this item
Cite this item