Yazar
Theodor Lettmann
3 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
