TY - BOOK AU - Martin Davis, Edmond Schonberg TI - From Linear Operators to Computational Biology SN - 978-1-4471-4282-9 PY - 2013/// KW - Mathematical Logic and Foundations KW - Quantum Physics KW - Robotics and Automation KW - Programming Languages, Compilers, Interpreters KW - Computer Science UR - http://link.springer.com/openurl?genre=book&isbn=978-1-4471-4282-9 ER -