Merkliste
Die Merkliste ist leer.
Der Warenkorb ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Computer Science Logic

4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
BuchKartoniert, Paperback
CHF71.00

Beschreibung

The workshop Computer Science Logic '90 was held at theMax-Planck-Haus in Heidelberg, Germany, October 1-5, 1990.It was the fourth in a series of worskhops, following CSL'89 at the University of Kaiserslautern (see LNCS 440), CSL'88 at the University of Duisberg (see LNCS 385), and CSL'87 at the University of Karlsruhe (see LNCS 329). Thisvolume contains 24 papers, chosen by means of a reviewprocedure from the 35 papers presented at the workshop, someof which were invited and some selected from a total of 89submissions. The papers cover a wide range of topics arisingfrom the applications of logic to computer science.
Weitere Beschreibungen

Details

ISBN/GTIN978-3-540-54487-6
ProduktartBuch
EinbandKartoniert, Paperback
Erscheinungsdatum11.09.1991
Auflage1991
ReiheLecture Notes in Computer Science
Reihen-Nr.533
Seiten412 Seiten
SpracheEnglisch
MasseBreite 155 mm, Höhe 235 mm, Dicke 23 mm
Gewicht622 g
Artikel-Nr.2217843
KatalogBuchzentrum
Datenquelle-Nr.3257165
Weitere Details

Reihe

Autor

Schlagworte