Search the FAQ Archives

3 - A - B - C - D - E - F - G - H - I - J - K - L - M
N - O - P - Q - R - S - T - U - V - W - X - Y - Z
faqs.org - Internet FAQ Archives

Artificial Intelligence FAQ: Newsgroups and Mailing Lists 2/6 [Monthly posting]
Section - [2-39] Theorem Provers

( Part1 - Part2 - Part3 - Part4 - Part5 - Part6 - Part7 - Single Page )
[ Usenet FAQs | Web FAQs | Documents | RFC Index | Forum ]


Top Document: Artificial Intelligence FAQ: Newsgroups and Mailing Lists 2/6 [Monthly posting]
Previous Document: [2-38] Symbolic Math
Next Document: [2-40] Case-Based Reasoning
See reader questions & answers on this topic! - Help others by sharing your knowledge

theorem-provers@ai.mit.edu

This (unmoderated) list is intended for announcements of interest to
people interested in automated theorem proving.

To subscribe, send your email address to theorem-provers-request@ai.mit.edu.

User Contributions:

Comment about this article, ask questions, or add new information about this topic:

CAPTCHA




Top Document: Artificial Intelligence FAQ: Newsgroups and Mailing Lists 2/6 [Monthly posting]
Previous Document: [2-38] Symbolic Math
Next Document: [2-40] Case-Based Reasoning

Part1 - Part2 - Part3 - Part4 - Part5 - Part6 - Part7 - Single Page

[ Usenet FAQs | Web FAQs | Documents | RFC Index ]

Send corrections/additions to the FAQ Maintainer:
crabbe@usna.edu





Last Update March 27 2014 @ 02:11 PM