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: Design and implementation of symbolic computation systems
    sub title: International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings
  name:
    name part: International Symposium DISCO '96 (1996 : Karlsruhe, Germany)
    role:
      role term: creator
  name:
    name part: Calmet, Jacques.
  name:
    name part: Limongelli, Carla.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: conference publication
  genre: Electronic books.
  genre: Conference proceedings.
  genre: Electronic resources (Books)
  origin info:
    place:
      place term: gw
    date issued: 1996
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (ix, 356 pages) : illustrations
  abstract: "This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '96, held in Karlsruhe, Germany, in September 1996. The volume includes four invited contributions surveying the state of the art in a particular subfield or pointing to some new research directions together with 31 revised full papers selected from a total of some 70 submissions. Many current aspects of mathematical software systems, as employed e.g. in computer algebra, automated theorem proving, or al- gebraic specification are addressed."--PUBLISHER'S WEBSITE.
  note: Jacques Calmet, Carla Limongelli, eds.
  note: Electronic resource.
  note: Includes bibliographical references.
  subject:
    topic: System design
    genre: Congresses
  subject:
    topic: Automatic theorem proving
    genre: Congresses
  subject:
    topic: Mathematics
    topic: Data processing
    genre: Congresses
  subject:
    topic: conception système
  subject:
    topic: réécriture
  subject:
    topic: raisonnement automatique
  subject:
    topic: calcul formel
  subject:
    topic: conception logiciel
  subject:
    topic: Mathématiques
    topic: Informatique
    genre: Congrès
  subject:
    topic: Systèmes, Conception de
    genre: Congrès
  subject:
    topic: Théorèmes
    topic: Démonstration automatique
    genre: Congrès
  subject:
    topic: Automatic theorem proving
  subject:
    topic: Mathematics
    topic: Data processing
  subject:
    topic: System design
  subject:
    topic: Programmatuurtechniek
  subject:
    topic: Systèmes, Conception de
    topic: Congrès
  subject:
    topic: Mathématiques
    topic: Informatique
    topic: Congrès
  subject:
    topic: Théorèmes
    topic: Démonstration automatique
    topic: Congrès
  classification: QA76.9.S88 I576 1996
  classification: 005.1/31
  classification: 54.70
  classification: 54.50
  related item:
    title info:
      title: Lecture notes in computer science ; 1128
  identifier: 3540616977
  identifier: 9783540616979
  identifier: 96038259
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: DLC
    record creation date: 960813
    record change date: 20190325093230.0
    record identifier: in00001328409
    language of cataloging:
      language term: eng