๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Why computer science students find formal reasoning frightening

โœ Scribed by P. Fung; T. O'Shea; D. Goldson; S. Reeves; R. Bornat


Book ID
114739040
Publisher
John Wiley and Sons
Year
1994
Tongue
English
Weight
912 KB
Volume
10
Category
Article
ISSN
0266-4909

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Computer tools to teach formal reasoning
โœ P. Fung; T. O'Shea; D. Goldson; S. Reeves; R. Bornat ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 972 KB