|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Martin Davis , Edmond SchonbergPublisher: Springer London Ltd Imprint: Springer London Ltd Edition: 2013 ed. Dimensions: Width: 15.50cm , Height: 1.20cm , Length: 23.50cm Weight: 3.401kg ISBN: 9781447161707ISBN 10: 144716170 Pages: 208 Publication Date: 09 August 2014 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsForeword.- 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.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |