Yazar
ptcs 2001 2001 dahgstuhl castle
1 cilt bulundu.
Cilt sonuçları
Proof theory in computer science
Reinhard Kahle, Peter Joseph Schroeder-Heister, Robert F. Stärk, PTCS 2001 (2001 Dahgstuhl Castle) · Springer
Sayfa sayısı yok · 2001
Automatic theorem proving / Congresses