Archive-name: ai-faq/general/part6 Last-Modified: Thu Dec 21 20:57:43 1995 by Mark Kantrowitz Version: 1.31 Maintainer: Mark Kantrowitz <mkant+ai-faq@cs.cmu.edu> URL: http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/ai/ai_general/top.html Size: 84098 bytes, 1871 lines ;;; **************************************************************** ;;; Answers to Questions about Artificial Intelligence ************* ;;; **************************************************************** ;;; Written by Mark Kantrowitz ;;; ai_6.faq If you think of questions that are appropriate for this FAQ, or would like to improve an answer, please send email to mkant+ai-faq@cs.cmu.edu. Please note that the FTP Resources are now split across parts 5 and 6 of the AI FAQ. Note: Question [5-2] is split across parts 5 and 6. Part 6 (FTP Resources): [5-2b] FTP and Other Resources: Qualitative Reasoning -- Theorem Proving [6-1] AI Bibliographies available by FTP [6-2] AI Technical Reports available by FTP [6-3] Where can I get a machine readable dictionary, thesaurus, and other text corpora? [6-4] List of Smalltalk implementations. [6-5] AI-related CD-ROMs [6-6] World-Wide Web (WWW) Resources Search for [#] to get to question number # quickly.Go Back Up