Yazar
J H Seger
3 cilt bulundu.
Cilt sonuçları
Higher order logic theorem proving and its applications
Carl-Johan H. Seger, Jeffrey J. Joyce · Springer-Verlag
518 sayfa · 1994
Congresses / Automatic theorem proving
Yazar
3 cilt bulundu.
Carl-Johan H. Seger, Jeffrey J. Joyce · Springer-Verlag
518 sayfa · 1994
Congresses / Automatic theorem proving