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: Pursuit of the Universal
    sub title: 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings
  name:
    name part: Beckmann, Arnold.
    role:
      role term: editor.
  name:
    name part: Bienvenu, Laurent.
    role:
      role term: editor.
  name:
    name part: Jonoska, Nataša.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2016
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XVI, 375 p. 21 illus. online resource.
  abstract: This book constitutes the refereed proceedings of the 12th Conference on Computability in Europe, CiE 2016, held in Paris, France, in June/July 2016. The 18 revised full papers and 19 invited papers and invited extended abstracts were carefully reviewed and selected from 40 submissions. The conference CiE 2016 has six special sessions – two sessions, cryptography and information theory and symbolic dynamics, are organized for the first time in the conference series. In addition to this new developments in areas frequently covered in the CiE conference series were addressed in the following sessions: computable and constructive analysis; computation in biological systems; history and philosophy of computing; weak arithmetic.
  table of contents: Computable and constructive analysis -- Computation in biological systems -- Cryptography and information theory -- History and philosophy of computing -- Symbolic dynamics -- Weak arithmetic.
  note: edited by Arnold Beckmann, Laurent Bienvenu, Nataša Jonoska.
  subject:
    topic: Computer science
  subject:
    topic: Computers
  subject:
    topic: Algorithms
  subject:
    topic: Mathematical logic
  subject:
    topic: Computer science
    topic: Mathematics
  subject:
    topic: Bioinformatics
  subject:
    topic: Computer Science
  subject:
    topic: Computation by Abstract Devices
  subject:
    topic: Algorithm Analysis and Problem Complexity
  subject:
    topic: Mathematics of Computing
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Computational Biology/Bioinformatics
  classification: QA75.5-76.95
  classification: 004.0151
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 9709
  identifier: 9783319401898
  identifier: http://dx.doi.org/10.1007/978-3-319-40189-8
  record info:
    record creation date: 160613
    record change date: 20160613204040.0
    record identifier: 978-3-319-40189-8