Details

ISBN/EAN: 978-3-540-54487-6
Einband: kartoniertes Buch
Weitere Details
Erschienen am:
Sprache:
English
Umfang:
viii, 402 S.

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg


Weitere Details arrow_forward_ios

Computer Science Logic

4th Workshop, CSL '90, Heidelberg, Germany, October 1-5,1990.Proceedings, Lecture Notes in Computer Science 533

53,49 €

Lieferbar innerhalb 1 - 2 Wochen

Beschreibung

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.