Farmer, William M.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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.
(Language materials, printed)
Subjects
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.