Martin Davis, Edmond Schonberg

From Linear Operators to Computational Biology - 2013

978-1-4471-4282-9


Mathematical Logic and Foundations
Quantum Physics
Robotics and Automation
Programming Languages, Compilers, Interpreters
Computer Science