scientific article; zbMATH DE number 3904000

MaRDI QIDQ3681964zbMATH OpenFDO

Authors Hao Wang

Publication date 1984

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)