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