Yazar
carl johan h seger
1 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
Yükleniyor
Yükleniyor
Yazar
1 cilt bulundu.
Carl-Johan H. Seger, Jeffrey J. Joyce · Springer-Verlag
518 sayfa · 1994
Congresses / Automatic theorem proving