Yazar
symposium on logic in computer science 8th 1993 montreal
1 cilt bulundu.
Cilt sonuçları
Proceedings
Symposium on Logic in Computer Science (8th 1993 Montreal, Quebec) · IEEE Computer Society Press
434 sayfa · 1993
Congresses / Electronic data processing / Electronic digital computers / Logic, Symbolic and mathematical / Symbolic and mathematical Logic