Yazar
workshop on computer science logic 6th 1992 san miniato
1 cilt bulundu.
Cilt sonuçları
Computer science logic
Workshop on Computer Science Logic (6th 1992 San Miniato, Italy), Egon Borger, G. Jager, H. Kleine Buning · Springer
439 sayfa · 1993
Computer science / Congresses / Logic, Symbolic and mathematical / Symbolic and mathematical Logic