{"product_id":"csl88-2nd-workshop-on-computer-science-logic-duisburg-frg-october-3-7-1988-proceedings-von-egon-borger-hans-kleine-buning-michael-m-richter-hrsg","title":"CSL'88","description":"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.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540516590\"\u003e\u003ch3\u003e2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540516590","offer_id":39437802078301,"sku":"9783540516590","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/1626c566-2d13-4639-ad0b-47827c7cd93d.jpg?v=1773553002","url":"https:\/\/shop.autorenwelt.de\/products\/csl88-2nd-workshop-on-computer-science-logic-duisburg-frg-october-3-7-1988-proceedings-von-egon-borger-hans-kleine-buning-michael-m-richter-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}