Yazar
s r buss
3 cilt bulundu.
Cilt sonuçları
Computational logic
Ulrich Berger, Helmut Schwichtenberg, J. Girard, D. Miller, S. R. Buss · Springer
444 sayfa · 1999
Computer logic / Logic, symbolic and mathematical
Yükleniyor
Yükleniyor
Yazar
3 cilt bulundu.
Ulrich Berger, Helmut Schwichtenberg, J. Girard, D. Miller, S. R. Buss · Springer
444 sayfa · 1999
Computer logic / Logic, symbolic and mathematical