(1) Bioinformatics, second edition: The Machine Learning Approach by Pierre Baldi and Søren Brunak ISBN: 9780262025065 MIT Press View at publisher
(2) Handbook of Automated Reasoning Edited by Andrei Voronkov and J. Alan Robinson ISBN: 9780262182218 MIT Press View at publisher
(3) Introduction to Algorithms, second edition by Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest and Clifford Stein ISBN: 9780262531962 MIT Press View at publisher
(4) Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems by Raymond Reiter ISBN: 9780262527002 MIT Press View at publisher
(5) Qualitative Methods for Reasoning under Uncertainty by Simon Parsons ISBN: 9780262528740 MIT Press View at publisher
(6) Understanding Intelligence by Rolf Pfeifer and Christian Scheier ISBN: 9780262661256 MIT Press View at publisher
(7) Grammatical Interfaces in HPSG Cann, Ronnie ISBN: 9781575863146 University of Chicago Press View at publisher
(8) Selected Papers on Analysis of Algorithms Knuth, Donald E. ISBN: 9781575862125 University of Chicago Press View at publisher