Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers (Lecture Notes in Computer Science (832), Band 832)

Selected

von: Yuri Gurevich · Egon B??rger · Karl Meinke

Taschenbuch

ISBN: 978-3-540-58277-9

ISBN-10: 3-540-58277-0

Springer · 2008

Siehe auch:
1994PaperbackComputer Science Logic: 7th Workshop, Csl '93 Swansea, United Kingdom September 13-17, 1993 Selected Papers (Lecture Notes in Computer Science)