Farmer, William M.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Simple type theorya practical logic for expressing and reasoning about mathematical ideas /
by:
Farmer, William M.; SpringerLink (Online service)
(Electronic resources)
Mathematical Knowledge Management (vol. # 4108)5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings /
by:
(1998 :); Borwein, Jonathan M.; Farmer, William M.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Foundations.
Mathematics
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Database Management.
Information Storage and Retrieval.
Computer Science Logic and Foundations of Programming.
Set Theory.
Information storage and retrieval systems
Computational Complexity.
Formal Reasoning.
Information Systems Applications (incl.Internet)
Mathematics, general.
Computer science
Computer Science.
Computer Communication Networks.