Powiedz znajomym o tym przedmiocie:
CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings - Lecture Notes in Computer Science 1989 edition
Egon Bvrger
CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings - Lecture Notes in Computer Science 1989 edition
Egon Bvrger
This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. More specifically, the papers deal with problems arising at the border of logic and computer science: e.g.
412 pages, biography
Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
Wydane | 6 września 1989 |
ISBN13 | 9783540516590 |
Wydawcy | Springer-Verlag Berlin and Heidelberg Gm |
Strony | 404 |
Wymiary | 155 × 235 × 21 mm · 576 g |
Redaktor | Borger, Egon |
Redaktor | Kleine Buning, Hans |
Redaktor | Richter, Michael M. |