Csl'88: 2nd Workshop on Computer Science Logic, Duisburg, Frg, October 3-7, 1988. Proceedings 1989 Edition Contributor(s): Börger, Egon (Editor), Kleine Büning, Hans (Editor), Richter, Michael M. (Editor) |
|
ISBN: 354051659X ISBN-13: 9783540516590 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: September 1989 Annotation: 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. |
Additional Information |
BISAC Categories: - Computers | Logic Design - Computers | Programming Languages - General - Mathematics | Logic |
Dewey: 005.101 |
Series: Lecture Notes in Computer Science |
Physical Information: 0.84" H x 6.14" W x 9.21" (1.27 lbs) 404 pages |