Faites connaître cet article à vos amis:
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
Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
Validé | 6 septembre 1989 |
ISBN13 | 9783540516590 |
Éditeurs | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 404 |
Dimensions | 155 × 235 × 21 mm · 576 g |
Éditeur | Borger, Egon |
Éditeur | Kleine Buning, Hans |
Éditeur | Richter, Michael M. |