rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Logic, Language, Information and Computation
    sub title: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
  name:
    name part: Beklemishev, Lev D.
    role:
      role term: editor.
  name:
    name part: Queiroz, Ruy de.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2011
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: X, 311 p. online resource.
  abstract: This book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. The 21 revised full papers presented were carefully reviewed and selected from 35 submissions. Among the topics covered are various aspects of mathematical logic, computer science logics, philosophical logics, such as complexity theory, model theory, partial order, Hoare logics, hybrid logics, Turing machines, etc.
  note: edited by Lev D. Beklemishev, Ruy de Queiroz.
  subject:
    topic: Computer science
  subject:
    topic: Computers
  subject:
    topic: Algorithms
  subject:
    topic: Computer logic
  subject:
    topic: Mathematical logic
  subject:
    topic: Computer science
    topic: Mathematics
  subject:
    topic: Computer Science
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Algorithm Analysis and Problem Complexity
  subject:
    topic: Computation by Abstract Devices
  subject:
    topic: Discrete Mathematics in Computer Science
  subject:
    topic: Symbolic and Algebraic Manipulation
  classification: QA8.9-QA10.3
  classification: 005.131
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 6642
  identifier: 9783642209208
  identifier: http://dx.doi.org/10.1007/978-3-642-20920-8
  record info:
    record creation date: 110428
    record change date: 20151123191832.0
    record identifier: 978-3-642-20920-8