{"product_id":"9783540544876","title":"Lecture Notes in Computer Science: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings\u003c\/h1\u003e \u003ch2\u003eBörger, Egon; Kleine Büning, Hans; Richter, Michael M.; Schönfeld, Wolfgang\u003c\/h2\u003e \u003cp\u003eThe workshop Computer Science Logic '90 was held at the\nMax-Planck-Haus in  Heidelberg, Germany, October 1-5, 1990.\nIt was the fourth in a series of    worskhops, following CSL\n'89 at the University of Kaiserslautern (see LNCS  440), CSL\n'88 at the University of Duisberg (see LNCS 385), and CSL\n'87 at the University of Karlsruhe (see LNCS 329). This\nvolume contains 24      papers, chosen by means of a review\nprocedure from the 35 papers presented  at the workshop, some\nof which were invited and some selected from a total  of 89\nsubmissions. The papers cover a wide range of topics arising\nfrom the applications of logic to computer science.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1991-09-11\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540544876\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-54487-9\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 402\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45369849381004,"sku":"9783540544876","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540544876.jpg?v=1773965674","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540544876","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}