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: Computer aided systems theory - EUROCAST 2001
    sub title: a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 : Revised Papers
  title info:
    title: EUROCAST 2001
  name:
    name part: International Workshop on Computer Aided Systems Theory 2001 : Las Palmas, Canary Islands)
    role:
      role term: creator
  name:
    name part: Freire, José-Luis
    name part: 1943-
  name:
    name part: Moreno-Díaz, Roberto.
  name:
    name part: Buchberger, Bruno.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: conference publication
  genre: Electronic books.
  genre: Conference proceedings.
  origin info:
    place:
      place term: gw
    date issued: 2001
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (xi, 670 pages) : illustrations
  abstract: This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Computer Aided Systems Theory, EUROCAST 2001, held in Las Palmas de Gran Canaria, Spain in February 2001. The 48 revised full papers presented together with two invited papers were carefully selected during two rounds of reviewing and revision. The book offers topical sections on computer aided systems theory, mathematical and logical formalisms, information and decision, complexity, neural-like computation, automation and control, computer algebra and automated theorem proving, and functional programming and lambda calculus.
  note: Roberto Moreno-Díaz, Bruno Buchberger, José-Luis Freire (eds.).
  note: Electronic resource.
  note: Mode of access : World Wide Web.
  note: Includes bibliographical references and index.
  subject:
    topic: Computer-aided engineering
    genre: Congresses
  subject:
    topic: Computer-aided design
    genre: Congresses
  subject:
    topic: Computer-aided design
  subject:
    topic: Computer-aided engineering
  classification: 620.00420285
  related item:
    title info:
      title: Computer aided systems theory--EUROCAST 2001
    name:
      name part: International Workshop on Computer Aided Systems Theory (8th : 2001 : Las Palmas (Canary Islands).
    origin info:
      publisher: Berlin ; New York : Springer, 2001
    identifier: (DLC) 2002510390
    identifier: (OCoLC)50347973
  related item:
    title info:
      title: Lecture notes in computer science ; 2178
  related item:
    title info:
      title: Lecture notes in computer science
      part name: Lecture notes in artificial intelligence
  identifier: 354042959X
  identifier: 9783540429593
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: QCL
    record creation date: 020211
    record change date: 20260422225752.4
    record identifier: in00003509449