Farmer, William M.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Intelligent Computer Mathematics = 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings /
by:
SpringerLink (Online service); Farmer, William M.; Youssef, Abdou.; Passmore, Grant O.; Rabe, Florian.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Simple type theory = a practical logic for expressing and reasoning about mathematical ideas /
by:
SpringerLink (Online service); Farmer, William M.
(書目-語言資料,印刷品)
主題
Mathematical logic.
Artificial Intelligence.
Artificial intelligence.
Computer Appl. in Social and Behavioral Sciences.
Set Theory.
Computers and Education.
Education—Data processing.
Formal Reasoning.
Computational Complexity.
Computer programming.
Programming Techniques.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Computer science
Computer Science Logic and Foundations of Programming.
Application software.