Xref: utzoo comp.sources.d:3701 comp.sources.wanted:7602
Path: utzoo!attcan!utgpu!watmath!julian!uwovax!2014_5001
From: 2014_5001@uwovax.uwo.ca
Newsgroups: comp.sources.d,comp.sources.wanted
Subject: BERTIE (CAI in Logic) info wanted
Message-ID: <2244@uwovax.uwo.ca>
Date: 28 May 89 11:29:09 GMT
Lines: 4
Organisation: University of Western Ontario, Canada

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?