5 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
00000DEFAULTTR
Yazdır
Yazar 
Watt, Stephen M. editor.
Format: 
Electronic Resources
Alıntı: 
Needs -- SAT-Enhanced Mizar Proof Checking -- A Framework for Formal Reasoning about Geometrical Optics.
Tümünü Seç
5 sonuç bulundu Arama sonuçlarına abone ol