Author:
Harvey Valerie J.,Rodger Susan H.
Publisher
Association for Computing Machinery (ACM)
Reference43 articles.
1. ALMSTRUM V. DEAN C. N. GOELMAN D. HILBURN T. B. AND SMITH J. 2000. Support for teaching formal methods Report of the ITiCSE 2000 Working Group on Formal Methods in Education. http://www.cs.utexas.edu/users/csed/FM/work/final-v5-6.pdf.
2. BARWISE J. AND ETCHEMENDY J. 1993. Turing's World 3.0 for the Macintosh. Center for the Study of Language and Information (CSLI).
3. BARWISE J. ETCHEMENDY J. BARKER-PLUMMER D. AND LIU A. 2006. http://www-csli.stanford.edu/. See also http://www-csli.stanford.edu/hp/Tarski3.html. Center for the Study of Language and Information (CSLI). BOUTE R. 2005. Personal communication. Dec.
4. Why math?
5. CALDERWOOD D. 2006. Introduction to Logic Gates. College of the Redwoods Eureka CA http://isweb.redwoods.cc.ca.us/INSTRUCT/CalderwoodD/diglogic/index.htm.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献