Languages
Ferreira, Fernando.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Axiomatic thinking.. II
by:
Ferreira, Fernando.; Kahle, Reinhard.; Sommaruga, Giovanni.; SpringerLink (Online service)
(Electronic resources)
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 :)
(Language materials, printed)
Axiomatic thinking.. I
by:
Ferreira, Fernando.; Kahle, Reinhard.; Sommaruga, Giovanni.; SpringerLink (Online service)
(Electronic resources)
Subjects
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.