International conference on data bases i
📂
Article
📅
1983
🏛
Elsevier Science
🌐
English
⚖ 38 KB
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 publis