Noch Fragen? 0800 / 33 82 637

CSL '89

3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. 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 intelligece, and temporal logic. The volume should be of interest to all logicians and computer scientists working in the above field.weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-540-52753-4 / 978-3540527534 / 9783540527534

Verlag: Springer Berlin

Erscheinungsdatum: 10.07.1990

Seiten: 444

Auflage: 1

Zielgruppe: Research

Herausgegeben von Hans Kleine Büning, Egon Börger, Michael M. Richter

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück