Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Csl'88: 2nd Workshop on Computer Science Logic, Duisburg, Frg, October 3-7, 1988. Proceedings

Csl'88: 2nd Workshop on Computer Science Logic, Duisburg, Frg, October 3-7, 1988. Proceedings

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

Paperback

Series: Lecture Notes in Computer Science, Book 385

FictionGeneral ComputersProgramming

ISBN10: 354051659X
ISBN13: 9783540516590
Publisher: Springer
Published: Sep 6 1989
Pages: 404
Weight: 1.27
Height: 0.84 Width: 6.14 Depth: 9.21
Language: English
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.

2 different editions

Also available

Also from

Börger, Egon

View All

Also in

General Computers

View All