Yazar
international conference on computer logic 1988 tallinn
1 cilt bulundu.
Cilt sonuçları
COLOG-88
International Conference on Computer Logic (1988 Tallinn, Estonia), Per Martin-Lof · Springer-Verlag
338 sayfa · 1990
Computer science / Congresses / Mathematics / Symbolic and mathematical Logic