WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/353716440

Design and implementation of symbolic computation systems International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings

Open All Close All

type

about

http://schema.org/about

alternateName

http://schema.org/alternateName

  • "DISCO '96"@en
  • "DISCO '96"
  • "DISCO'96"@en
  • "DISCO'96"

contributor

creator

description

http://schema.org/description

  • ""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."
  • "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."

editor

genre

http://schema.org/genre

  • "Congressen (vorm)"
  • "Electronic books"
  • "Conference papers and proceedings"@en
  • "Conference papers and proceedings"
  • "Congressi"
  • "Electronic resources (Books)"

name

http://schema.org/name

  • "Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20-, 1996 : proceedings"
  • "Design and implementation of symbolic computation systems : international symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings"
  • "Design and implementation of symbolic computation systems international symposium DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings"
  • "Design and Implementation of Symbolic Computation Systems International Symposium, DISCO '96 Karlsruhe, Germany, September 18-20, 1996 Proceedings"
  • "Design and implementation of symbolic computation systems : International Symposium DISCO'96 Karlsruhe, Germany, september 1996 : proceedings"
  • "Design and implementation of symbolic computation systems International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings"@en
  • "Design and implementation of symbolic computation systems International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings"
  • "Design and implementation of symbolic computation systems : international symposium, DISCO '96, Karlsruhe, Germany, September 18 - 20, 1996 ; proceedings"
  • "Design and implementation of symbolic computation systems : international symposium, DISCO '96, Karlsruhe, Germany, september 18-20, 1996, proceedings"
  • "Design and Implementation of Symbolic Computation Systems International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings"
  • "Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings"@en
  • "Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings"
  • "Design and implementation of symbolic computation systems : international symposium, DISCO '96 : Karlsruhe, Germany, September 18-20, 1996 : proceedings"
  • "Design and implementation of symbolic computation systems : international symposium, DISCO'96, Karlsruhe, Germany, September 18-20, 1996 : proceedings"

workExample