Yazar
types 2002 2002 berg en dal
1 cilt bulundu.
Cilt sonuçları
Types for proofs and programs
TYPES 2002 (2002 Berg en Dal, Netherlands) · Springer
330 sayfa · 2003
Automatic theorem proving / Computer programming / Congresses
Yükleniyor
Yükleniyor
Yazar
1 cilt bulundu.
TYPES 2002 (2002 Berg en Dal, Netherlands) · Springer
330 sayfa · 2003
Automatic theorem proving / Computer programming / Congresses