Erschienen: 06.09.1989 Abbildung von Börger / Kleine Büning / Richter | CSL'88 | 1989 | 2nd Workshop on Computer Scien... | 385

Börger / Kleine Büning / Richter

CSL'88

2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

1989. Buch. vIII, 404 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-51659-0

Format (B x L): 15,5 x 23,5 cm

Gewicht: 1270 g

In englischer Sprache

Das Werk ist Teil der Reihe: Lecture Notes in Computer Science; 385

Produktbeschreibung

This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science: e.g. in complexity, data base theory, logic programming, artificial intelligence, and concurrency. The volume should be of interest to all logicians and computer scientists working in the above fields.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...