Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers /
Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers /
Leszek Pacholski and Jerzy Tiuryn (eds.)
- Berlin : Springer-Verlag, 1995
- 541 p.
- Lecture notes in computer science ; no. 933 .
3540600175
Computer science--Mathematics--Congresses
Logic, Symbolic and mathematical--Congresses
QA76.9 M35 / W67 1994
3540600175
Computer science--Mathematics--Congresses
Logic, Symbolic and mathematical--Congresses
QA76.9 M35 / W67 1994

AI Search