WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/1104426912

CSL '88 : 2nd Workshop on Computer Science Logic : Papers

Open All Close All

type

about

http://schema.org/about

author

contributor

creator

description

http://schema.org/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."
  • ""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."--Publisher's website."

editor

genre

http://schema.org/genre

  • "Electronic books"
  • "Conference papers and proceedings"@en
  • "Conference papers and proceedings"
  • "Electronic resources (Books)"

name

http://schema.org/name

  • "CSL '88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988"
  • "CSL '88 : 2nd Workshop on Computer Science Logic : Papers"@en
  • "CSL '88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 1988 : proceedings"
  • "CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988"
  • "Csl'88 2nd Workshop on Computer Science Logic, Duisburg, Frg, October 3-7, 1988. Proceedings"@en
  • "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"
  • "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"@en
  • "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"
  • "CSL '88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings"@en
  • "CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988, Proceedings"@it
  • "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"
  • "CSL '88 : 2nd Workshop on Computer Science Logic : Duisburg, FRG, October 3-7, 1988 : proceedings"

workExample