Yazar
symposium on logic in computer science 15th 2000 santa barbara
1 cilt bulundu.
Cilt sonuçları
Proceedings
Symposium on Logic in Computer Science (15th 2000 Santa Barbara, California) · IEEE Computer Society Press
425 sayfa · 2000
Computer science / Congresses / Logic, Symbolic and mathematical / Mathematics / Symbolic and mathematical Logic