Computer tools to teach formal reasoning
β
P. Fung; T. O'Shea; D. Goldson; S. Reeves; R. Bornat
π
Article
π
1996
π
Elsevier Science
π
English
β 972 KB