{"product_id":"csl88-2nd-workshop-on-computer-science-logic-duisburg-frg-october-3-7-1988-proceedings-9783540516590","title":"Csl'88: 2nd Workshop on Computer Science Logic, Duisburg, Frg, October 3-7, 1988. Proceedings","description":"\u003cp\u003e • Author(s): Egon Börger | Hans Kleine Büning | Michael M. Richter\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Logic Design\u003c\/p\u003e\u003cp\u003eThis 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47615194955927,"sku":"9783540516590","price":5754.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540516590.webp?v=1775098698","url":"https:\/\/atlanticbooks.com\/products\/csl88-2nd-workshop-on-computer-science-logic-duisburg-frg-october-3-7-1988-proceedings-9783540516590","provider":"Atlantic Books","version":"1.0","type":"link"}