CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings - Couverture souple

B??ning, Hans Kleine; B??rger, Egon; Richter, Michael M.

 
9783540527534: CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings

Synopsis

This volume contains 28 papers on recent developments in concepts and methods of logic which are relevant for computer science.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9780387527536: Csl, '89. 3rd Workshop on Computer Science Logic, Kaiserlautern, Frg, October 2-6, 1989. Proceedings.

Edition présentée

ISBN 10 :  0387527532 ISBN 13 :  9780387527536
Editeur : Springer-Verlag, 1990
Couverture souple