References
- Bundy , A. 1983 . The Computer Modelling of Mathematical Reasoning , Academic Press .
- Clark , K.L. and McCabe , F.G. 1984 . Micro‐PROLOG: Programming in Logic , Prentice Hall .
- Forsyth , R. 1984 . Expert Systems: Principles and Case Studies , Chapman and Hall .
- Kowalski , R. 1979 . Logic for Problem Solving , North Holland .
- McCarthy , J. 1968 . “ Programs with common sense ” . In Semantic Information Processing , Edited by: Minsky , M. MIT Press .
- Michie , D. , ed. 1980 . Expert Systems in the Microelectronic Age , Edinburgh University Press .
- Minsky , M. 1970 . Form and content in computer science, ACM Turing lecture . Journal of the Association for Computing Machinery , 17 : 197 – 215 .
- Ogborn , J. and Wong , D. 1984 . A microcomputer dynamic modelling system . Physics Education , 19 : 138 – 142 .
- Ogborn , J. and Johnson , L. 1984 . Conversation theory . Kybernetes , 13 : 7 – 16 .
- O'Shea , T. and Eisenstadt , M. 1984 . Artificial Intelligence: Tools, Techniques and Applications , Harper and Row .
- O'Shea , T. and Self , J. 1983 . Learning and Teaching with Computers , Harvester .
- Pask , G. 1976 . Conversation Theory , Oxford : Elsevier .
- Robinson , J. 1965 . A machine oriented logic based on the Resolution principle . Journal of the Association for Computing Machinery. , Vol.12 : 23 – 41 .
- Scandura , J.M. 1977 . Problem Solving , Academic Press .
- Schank , R. 1982 . Dynamic Memory , Cambridge University Press .
- Sleeman , D. and Brown , J. , eds. 1982 . Intelligent Tutoring Systems , Academic Press .
- Tukey , J. 1977 . Exploratory Data Analysis , Addison Wesley .
- Yazdani , M. , ed. 1984 . New Horizons in Educational Computing , John Wiley .