Programming and Proofs, Teaching Logic in Computer Science

Show full item record

Title: Programming and Proofs, Teaching Logic in Computer Science
Author: Stallmann, Matthias
Date: 2001
Citation: Stallmann, M. (2001). Programming and Proofs, Teaching Logic in Computer Science
URI: https://www.lib.ncsu.edu/resolver/1840.20/37255


Files in this item

Files Size Format View
2001-concept - Matthias Stallmann.pdf 93.80Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record