ENGLISH

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

By Davis , Martin; Schonberg , Edmond (eds.)

Book information

Publisher
Springer
Year
2013
ISBN
9781447142812, 1447142810
Language
english
Format
PDF
Filesize
2 MB (1780963 bytes)
Pages
213\213
Library
Kolxo3
Time added
2013-05-29 16:00:00

Description

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

Similar books