Farmer, William M.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Simple type theorya practical logic for expressing and reasoning about mathematical ideas /
by:
Farmer, William M.; SpringerLink (Online service)
(書目-電子資源)
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)
(書目-電子資源)
主題
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.