home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / ai / 3072 < prev    next >
Encoding:
Internet Message Format  |  1992-08-12  |  661 b 
  1. Path: sparky!uunet!bcstec!bcsaic!kayak!ski
  2. From: ski@kayak.tc-suns (Chris Kacoroski,none)
  3. Newsgroups: comp.ai
  4. Subject: Info request on validating truth maintenance systems
  5. Keywords: truth maintenance, validation, verification
  6. Message-ID: <80091@bcsaic.boeing.com>
  7. Date: 12 Aug 92 17:53:42 GMT
  8. Sender: nntp@bcsaic.boeing.com
  9. Reply-To: ski@kayak.tc-suns
  10. Organization: Sun Microsystems
  11. Lines: 11
  12.  
  13. Hi,
  14.  
  15. I need any information you can provide on validating truth
  16. maintenance systems.  Thanks for your time.
  17.  
  18.  
  19. Cheers,
  20.  
  21. Chris "ski" Kacoroski    "When we try to pick out anything by itself
  22. ski@atc.boeing.com     we find it connected to the entire universe"
  23.                             John Muir
  24.