Yazar
workshop on computer science logic 3rd 1989 kaiserslautern
1 cilt bulundu.
Cilt sonuçları
CSL '89
Workshop on Computer Science Logic (3rd 1989 Kaiserslautern, Germany), E. Borger, H. Kleine Buning · Springer-Verlag
437 sayfa · 1990
Computer science / Congresses / Mathematics / Symbolic and mathematical Logic