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: From Linear Operators to Computational Biology
    sub title: Essays in Memory of Jacob T. Schwartz
  name:
    name part: Davis, Martin.
    role:
      role term: editor.
  name:
    name part: Schonberg, Edmond.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: xxk
    date issued: 2013
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XII, 208 p. online resource.
  abstract: In his rich and varied career as a mathematician, computer scientist, and educator, Jacob T. Schwartz wrote seminal works in analysis, mathematical economics, programming languages, algorithmics, and computational geometry. In this volume of essays, his friends, students, and collaborators at the Courant Institute of Mathematical Sciences present recent results in some of the fields that Schwartz explored: quantum theory, the theory and practice of programming, program correctness and decision procedures, dextrous manipulation in Robotics, motion planning, and genomics. In addition to presenting recent results in these fields, these essays illuminate the astonishingly productive trajectory of a brilliant and original scientist and thinker.
  table of contents: Foreword -- Introduction -- Nature as Quantum Computer -- Jack Schwartz Meets Karl Marx -- SETL and the Evolution of Programming -- Decision Procedure for Elementary Sublanguages of Set Theory XVII: Commonly Occurring Decidable Extensions of Multi-level Syllogistic -- Jack Schwartz and Robotics: The Roaring Eighties -- Mathematics’ Mortua Manus: Discovering Dexterity -- The Ref Proof-checker and its “Common Shared Scenario” -- Claw-free Graphs as Sets -- Computational approaches to RNAi and Gene Silencing -- The Last Ten Yards -- Jacob T. Schwartz: Selected Bibliography -- Index.
  note: edited by Martin Davis, Edmond Schonberg.
  subject:
    topic: Computer science
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Mathematical logic
  subject:
    topic: Quantum physics
  subject:
    topic: Robotics
  subject:
    topic: Automation
  subject:
    topic: Computer Science
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Mathematical Logic and Foundations
  subject:
    topic: Quantum Physics
  subject:
    topic: Robotics and Automation
  classification: QA76.7-76.73
  classification: QA76.76.C65
  classification: 005.13
  related item:
    title info:
      title: Springer eBooks
  identifier: 9781447142829
  identifier: http://dx.doi.org/10.1007/978-1-4471-4282-9
  record info:
    record creation date: 120727
    record change date: 20151125152027.0
    record identifier: 978-1-4471-4282-9