home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / lang / prolog / 1676 < prev    next >
Encoding:
Text File  |  1992-09-08  |  498 b   |  17 lines

  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!caen!batcomputer!cornell!sturgill
  3. From: sturgill@cs.cornell.edu (David Brian Sturgill)
  4. Subject: Information on and-parallelism
  5. Message-ID: <1992Sep8.205358.501@cs.cornell.edu>
  6. Organization: Cornell Univ. CS Dept, Ithaca NY 14853
  7. Date: Tue, 8 Sep 1992 20:53:58 GMT
  8. Lines: 7
  9.  
  10. I am interested in and-parallelism in theorem proving.  Can anyone point
  11. me to information on what has been done in this area.
  12.  
  13. Thanks.
  14.  
  15. David Sturgill
  16. sturgill@cs.cornell.edu
  17.