2014_5001@uwovax.uwo.ca (05/28/89)
I am looking for information about the BERTIE program for CAI in logic. All I know about it is that it was written by James Moor, _et_al_. If someone knows of another CAI in advanced logic program, please tell me. In particular: is BERTIE in the public domain?
maner@bgsuvax.UUCP (Walter Maner) (06/02/89)
From article <2244@uwovax.uwo.ca>, by 2014_5001@uwovax.uwo.ca: > I am looking for information about the BERTIE program for CAI in > logic. All I know about it is that it was written by James Moor, > _et_al_. If someone knows of another CAI in advanced logic program, > please tell me. In particular: is BERTIE in the public domain? I don't believe BERTIE was ever in the public domain. It was prepared under NSF grant number GJ-28456, so I might be wrong about that. It was originally distributed by Project COMPUTe, Hanover, NH. Later on, it was distributed by Conduit and maybe still is. A Mac version is currently marketed by Kinko's Academic Courseware and well worth the nominal cost. Jim can be reached at Dartmouth: jim.moor@dartmouth.edu BTW, credit Jack Nelson with part of the work on the original BERTIE. Hope this helps. -- CSNet : maner@research1.bgsu.edu | 419/372-8719 InterNet: maner@research1.bgsu.edu (129.1.1.2)| BGSU Comp Sci Dept UUCP : ... !osu-cis!bgsuvax!maner | Bowling Green, OH 43403 BITNet : MANER@BGSUOPIE