Programming and Proofs, Teaching Logic in Computer Science
No Thumbnail Available
Date
2001
Authors
Advisors
Journal Title
Series/Report No.
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
Stallmann, M. (2001). Programming and Proofs, Teaching Logic in Computer Science