Computer science logic : selected papers of the 8th workshop, CSL'94, held in Kazimierz, Poland, September 25-30, 1994 / editors Leszek Pacholski and Jersy Tiuryn.
- Berlin [etc.] : Springer-Verlag , cop. 1995 .
- IX, 541 p. : il. ; 24 cm.
- (Lecture Notes in Computer Science)
; 933
ISBN 3-540-60017-5
Informática
Lógica matemática
LCC QA75.5
ISBN 3-540-60017-5
Informática
Lógica matemática
LCC QA75.5