scientific article; zbMATH DE number 3904000

zbMATH Open0566.68074MaRDI QIDQ3681964FDOQ3681964

Authors: Hao Wang 

Publication date: 1984

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4155933
• scientific article; zbMATH DE number 3860434
• scientific article; zbMATH DE number 3881899
• scientific article; zbMATH DE number 3904557
• scientific article; zbMATH DE number 3880145

zbMATH Keywords

natural languageexpert systemsuse of computers in mechanical theorem proving for first-order logic

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of computer science (68-03) Development of contemporary mathematics (01A65) Artificial intelligence (68Txx)

Cited In (1)

• Theorem proving method and the computer science

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3681964)