Yazar
bernhard kloster
20 cilt bulundu.
Cilt sonuçları
Types for Proofs and Programs
International Workshop TYPES., Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus · Yayınevi bilinmiyor
207 sayfa · 1999
Automatic theorem proving
Yazar
20 cilt bulundu.
International Workshop TYPES., Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus · Yayınevi bilinmiyor
207 sayfa · 1999
Automatic theorem proving