Yazar
workshop on computer science logic 4th 1990 heidelberg
1 cilt bulundu.
Cilt sonuçları
Computer science logic
Workshop on Computer Science Logic (4th 1990 Heidelberg, Germany) · Springer-Verlag
399 sayfa · 1991
Computer science / Congresses / Symbolic and mathematical Logic / Logic, symbolic and mathematical