Xref: utzoo comp.sources.d:3711 comp.sources.wanted:7631
Path: utzoo!attcan!uunet!cs.utexas.edu!tut.cis.ohio-state.edu!bgsuvax!maner
From: maner@bgsuvax.UUCP (Walter Maner)
Newsgroups: comp.sources.d,comp.sources.wanted
Subject: Re: BERTIE (CAI in Logic) info wanted
Message-ID: <4185@bgsuvax.UUCP>
Date: 2 Jun 89 01:50:41 GMT
References: <2244@uwovax.uwo.ca>
Organization: Bowling Green State University B.G., Oh.
Lines: 24

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