From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz

By Martin D. Davis and Edmond Schonberg

Book Overview

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.

• Format: Hardcover
• Language: English
• ISBN: 1447142810
• ISBN13: 9781447142812
• Release Date: July 2012
• Publisher: Springer
• Length: 208 Pages
• Weight: 1.00 lbs.
• Dimensions: 0.7" x 6.1" x 9.1"