International conference on data bases in the humanities and social sciences : Rutgers—The State University June 10–12, 1983, New Brunswick, NJ, U.S.A.

• Publisher: Elsevier Science
• Year: 1983
• Tongue: English
• Weight: 38 KB
• Volume: 20
• Category: Article
• ISSN: 0004-3702
• DOI: 10.1016/0004-3702(83)90020-6

✦ Synopsis

Each open problem that has been judged suitable for attack by a computer program will be listed under the name of the person suggesting it, and this list will contain the actual axioms, the theorem as well as additional information concerning the sources, its relevance, etc.

The list will be published and widely distributed among computer scientists working in the field of automated Theorem Proving and Computational Logic, and among mathematicians and logicians.