Yazar
Ernst Specker
4 cilt bulundu.
Cilt sonuçları
Komplexität von Entscheidungsproblemen
Ernst Specker · Springer-Verlag
217 sayfa · 1976
Turing machines / Computational complexity / Congresses / Gödel's theorem
Selecta
Ernst Specker, Gerhard Jäger, Hans Läuchli, Bruno Scarpellini, Volker Strassen · Birkhäuser Verlag
417 sayfa · 1990
Mathematics / Essays, journals, letters & other prose works / General / Science / History & Philosophy
Logic and algorithmic
Ernst Specker · L'Enseignement mathématique, Université de Genève
392 sayfa · 1982
Symbolic and mathematical Logic / Algorithms / Algebraic logic / Congresses