Yazar
hans kleine buning
9 cilt bulundu.
Cilt sonuçları
Propositional logic
H. Kleine Büning, Hans Kleine Büning, Theodor Lettmann · Cambridge University Press
415 sayfa · 1999
Computer algorithms / Computer logic / Algorithmes / Algorithme / Automatische bewijsvoering
Prolog
Hans Kleine Büning, Stefan Schmitgen · Vieweg+Teubner Verlag
Sayfa sayısı yok · 1988
PROLOG (Programmiersprache) / PROLOG
Computer Science Logic
Egon Börger, Gerhard Jäger, Michael M. Richter, Hans Kleine Büning · Springer
428 sayfa · 1992
Logic, symbolic and mathematical / Computer science