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, Algebra, and Computation
    sub title: International Summer School
  title info:
    title: Proceedings of the NATO Advanced Study Institute on Logic, Algebra, and Computation held at Marktoberdorf, Federal Republic of Germany, July 25 - August 6, 1989
  name:
    name part: Bauer, Friedrich L.
    role:
      role term: creator
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: gw
    date issued: 1991
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (VII, 485 pages 15 illustrations)
  abstract: The Marktoberdorf Summer Schools on Informatics were started in 1970 as Advanced Study Institutes under the sponsorship of NATO. At the schools, groups of top researchers in computing present their most recent results to an elite of advanced students and face their questions, criticism and suggestions. This volume presents the proceedings of the tenth Marktoberdorf Summer School, with the theme Logic, Algebra, and Computation. The volume has a message: applied logic is programming, programming is applied logic, and computation is a common concern of logic and mathematics. The volume contains ten papers, on computation and specification over abstract data types, deductive program synthesis, resolution, the pure lambda-calculus, normalization, logical and recursive complexity, the computation system of constructive type theory, modal logic, concurrency, and concurrent logic programming languages.
  note: edited by Friedrich L. Bauer.
  note: Electronic resource.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Logic design
  subject:
    topic: Artificial intelligence
  subject:
    topic: Artificial intelligence
  subject:
    topic: Computer science
  subject:
    topic: Logic design
  subject:
    topic: Software engineering
  classification: QA76.9.L63
  classification: 005.1015113
  related item:
    title info:
      title: NATO ASI series. 79
      part number: Series F
      part name: Computer and systems sciences
  identifier: 9783642767999 (electronic bk.)
  identifier: 3642767990 (electronic bk.)
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: I9W
    record creation date: 121227
    record change date: 20260422172147.9
    record identifier: in00003544284
    language of cataloging:
      language term: eng