Programming and Proofs, Teaching Logic in Computer Science

Simple item page
dc.contributor.authorStallmann, Matthias
dc.date.accessioned2020-03-04T19:11:53Z
dc.date.available2020-03-04T19:11:53Z
dc.date.issued2001
dc.identifier.citationStallmann, M. (2001). Programming and Proofs, Teaching Logic in Computer Scienceen_US
dc.identifier.urihttps://www.lib.ncsu.edu/resolver/1840.20/37255
dc.language.isoen_USen_US
dc.titleProgramming and Proofs, Teaching Logic in Computer Scienceen_US
dc.typeArticleen_US

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
2001-concept - Matthias Stallmann.pdf
Size:
93.8 KB
Format:
Adobe Portable Document Format
Description:
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Publications