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)

Axiomatic thinking.I by: Ferreira, Fernando.; Hilbert, David, (1862-1943.); Kahle, Reinhard.; Sommaruga, Giovanni.; SpringerLink (Online service) (Electronic resources)

Programs, proofs, processes6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings / by: (1998 :); Ferreira, Fernando.; SpringerLink (Online service) (Electronic resources)

Subjects

Mathematical Logic and Formal Languages. Mathematical Logic and Foundations. Computation by Abstract Devices. Artificial Intelligence (incl. Robotics) Algorithm Analysis and Problem Complexity. Computable functions History of Mathematical Sciences. Hilbert, David, Proof theory. Simulation and Modeling. Discrete Mathematics in Computer Science. Computer Science. Axioms. Philosophy of Mathematics.