Yazar
Uwe Schoning
18 cilt bulundu.
Uwe Schöning · Spektrum Akademischer Verlag
200 sayfa · 2008
Machine theory / 0 Gesamtdarstellung / Theoretische Informatik / Theory of computer science / Computable functions
Uwe Schöning · Springer
116 sayfa · 1986
Komplexitätstheorie / Computational complexity / Complexité calcul / Complexité de calcul (Informatique) / Logique mathématique
Uwe Schöning · Birkhäuser Boston
177 sayfa · 2008
Logic programming / Logic, symbolic and mathematical
Uwe Schöning · Birkhäuser Boston
172 sayfa · 2009
Symbolic and mathematical Logic / Computer science / Logic programming / Logic, symbolic and mathematical / Mathematical Logic and Formal Languages
Uwe Schöning · Spektrum Akademischer Verlag
200 sayfa · 2000
Logic programming / 0 Gesamtdarstellung / Mathematische Logik / Logische Programmierung / Logic, symbolic and mathematical
Uwe Schöning · Birkhäuser
166 sayfa · 1989
Logic programming / Logic, Symbolic and mathematical / Symbolic and mathematical Logic
Uwe Schöning, Randall J. Pruim, R. Pruim · Springer London, Limited
333 sayfa · 1998
Automatic theorem proving
Hariolf Betz, Thom Fruhwirth, Uwe Schoning · Books on Demand GmbH
Sayfa sayısı yok · 2014
Kategori yok