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

Börger, Egon [Editor]; Kleine Büning, Hans [Editor]; Richter, Michael M. [Editor];

ISBN 10: 354051659X / ISBN 13: 9783540516590

Published by Springer, 2008

About this Item

Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.

Seller Inventory # UTD14a-1009

Bibliographic Details

• Title: CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science)
• Publisher: Springer
• Publication Date: 2008
• Language: English
• ISBN 10: 354051659X
• ISBN 13: 9783540516590
• Binding: Paperback
• Condition: Very Good
• Weight: 45 ounces

About this title

Synopsis

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.