CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science, 385, Band 385) - Softcover

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

 
9783540516590: CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science, 385, Band 385)
Softcover
ISBN 10: 354051659X ISBN 13: 9783540516590
Verlag: Springer, 2008

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
354051659X
ISBN 13 
9783540516590
Einband
Taschenbuch
Anzahl der Seiten
412
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780387516592: Csl '88: 2nd Workshop on Computer Science Logic Duisburg, Frg, October 3-7, 1988 : Proceedings (Lecture Notes in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  038751659X ISBN 13:  9780387516592
Verlag: Springer Verlag, 1989
Softcover