Yazar
a carnielli walter
7 cilt bulundu.
Cilt sonuçları
Analysis and synthesis of logics
Walter A. Carnielli · Springer
600 sayfa · 2008
Symbolic and mathematical Logic / Logic, symbolic and mathematical / Mathematics / Logic / Computer science
Model-based reasoning in science and technology
Lorenzo Magnani, Walter A. Carnielli, Claudio Pizzi · Springer
654 sayfa · 2010
Model-based reasoning / Congresses / Reasoning / Science, methodology / Discoveries in science
Computability
Richard L. Epstein, Walter A. Carnielli · Wadsworth Publishing
299 sayfa · 1989
Computable functions / Gödel's theorem / Logic, Symbolic and mathematical / Symbolic and mathematical Logic / Mathematical logic