nick@wacsvax.OZ (Nick Lewins) (11/08/89)
Can anyone give me some pointers to literature on the application of learning methods to the theorem proving domain? I am specifically interested in the application of explanation-based learning to the "Nuprl" proof development system. Thanks, Nick. +--------------------------------+--------------------------------------------+ Nick Lewins | ARPA: nick%wacsvax.uwa.oz@uunet.uu.net Dept. of Computer Science | UUCP: ..!uunet!munnari!wacsvax!nick University of Western Australia | ACSnet: nick@wacsvax.uwa.oz CRAWLEY, Australia 6009 | PHONE: +61 9 380 2305 +--------------------------------+--------------------------------------------+