home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: comp.lang.prolog
- Path: sparky!uunet!caen!batcomputer!cornell!sturgill
- From: sturgill@cs.cornell.edu (David Brian Sturgill)
- Subject: Information on and-parallelism
- Message-ID: <1992Sep8.205358.501@cs.cornell.edu>
- Organization: Cornell Univ. CS Dept, Ithaca NY 14853
- Date: Tue, 8 Sep 1992 20:53:58 GMT
- Lines: 7
-
- I am interested in and-parallelism in theorem proving. Can anyone point
- me to information on what has been done in this area.
-
- Thanks.
-
- David Sturgill
- sturgill@cs.cornell.edu
-