語系
Ferreira, Fernando.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Axiomatic thinking.. II
by:
Ferreira, Fernando.; Kahle, Reinhard.; Sommaruga, Giovanni.; SpringerLink (Online service)
(書目-電子資源)
Programs, proofs, processes = 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings /
by:
Ferreira, Fernando.; SpringerLink (Online service); Conference on Computability in Europe (2010 :)
(書目-語言資料,印刷品)
Axiomatic thinking.. I
by:
Ferreira, Fernando.; Kahle, Reinhard.; Sommaruga, Giovanni.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices.
History of Mathematical Sciences.
Computable functions- Congresses.
Hilbert, David,
Proof theory.
Computer Science.
Discrete Mathematics in Computer Science.
Simulation and Modeling.
Axioms.
Philosophy of Mathematics.