Martin Davis, Edmond Schonberg From Linear Operators to Computational Biology - 2013 ISBN: 978-1-4471-4282-9 Subjects--Topical Terms: Mathematical Logic and FoundationsQuantum PhysicsRobotics and Automation Programming Languages, Compilers, InterpretersComputer Science