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: Computational Logic
    sub title: Symposium Proceedings, Brussels, November 13/14, 1990
  name:
    name part: Lloyd, John W.
    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: 1990
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (XI, 211 pages 2 illustrations)
  abstract: This book contains papers presented at the Symposium on Computational Logic held during the 7th ESPRIT Conference. Ten leading researchers in computational logic were invited to contribute papers. The papers range from some on specialized research topics to some which give an overview and a glimpse into the future of computational logic. A major theme of the symposium was the likely future impact of computational logic, and there was a panel session on the topic "Programming in 2010: the Role of Computational Logic". The position papers of the panelists are included in the book. The book will be of interest to researchers and graduate students in logic programming, database systems, artificial intelligence, and software engineering. This volume is the first of the ESPRIT Basic Research Series. The ESPRIT Basic Research efforts aim at forging strong links between European academic and industrial teams carrying out research, often interdisciplinary, at the forefront of information technology. The quality of content of this series and its broad distribution should have a major impact in making these advances accessible to both academic and industrial researchers.
  note: edited by John W. Lloyd.
  note: Electronic resource.
  subject:
    topic: Computer science
  subject:
    topic: Logic design
  subject:
    topic: Artificial intelligence
  subject:
    topic: Logic, Symbolic and mathematical
  subject:
    topic: Artificial intelligence
  subject:
    topic: Computer science
  subject:
    topic: Logic design
  subject:
    topic: Logic, Symbolic and mathematical
  classification: Q334-342
  classification: 006.3
  related item:
    title info:
      title: ESPRIT basic research series
  identifier: 9783642762741 (electronic bk.)
  identifier: 3642762743 (electronic bk.)
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: I9W
    record creation date: 121227
    record change date: 20260422224649.3
    record identifier: in00003544269
    language of cataloging:
      language term: eng