Pacholski, Leszek. Ed. Tiuryn, Jerzy. Ed.
Computer Science Logic 8th Workshop, Poland, 1994 - Berlin Springer 1995 - 541 - Lecture notes in computer science ; 00933 .
3540600175
Computer Science-Congresses
Logic, Symbolic and Mathematical-Congresses
681 LNCS
Computer Science Logic 8th Workshop, Poland, 1994 - Berlin Springer 1995 - 541 - Lecture notes in computer science ; 00933 .
3540600175
Computer Science-Congresses
Logic, Symbolic and Mathematical-Congresses
681 LNCS