Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings - Couverture souple

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

 
9783540544876: Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings

Synopsis

This volume contains 24 papers presented at a workshop held in Heidelberg in October 1990. The papers cover a wide range of topics in computer science logic.

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

9780387544878: Computer Science Logic: 4th Workshop, Csl '90 Heidelberg, Germany, October 1-5, 1990 : Proceedings

Edition présentée

ISBN 10 :  0387544879 ISBN 13 :  9780387544878
Couverture souple