Teaching logic using a state-of-the-art proof assistant
Article, Chapter
Authors:
C. Kaliszyk
Publication:
Page(s):37
Published:
2007
We were unable to find direct full text links for this item.