| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| All About Chess and Computers: Chess and Computers and More Chess and Computers | Taschenbuch | 978-3-642-85540-5 | 2012 | D. Levy | |
| Automated Theorem Proving: Theory and Practice | Paperback | 978-1-4612-6519-1 | 2013 | ||
| Automated Theorem Proving: Theory and Practice | Hardcover | 978-0-387-95075-4 | 2000 | ||
| Beyond Deep Blue | Paperback | 978-0-85729-342-8 | 2011 | ||
| Deep Blue: An Artificial Intelligence Milestone | Hardcover | 978-0-387-95461-5 | 2002 | ||
| How Computers Play Chess | ペーパーバック | 978-4-87187-801-2 | 2009 | David N L Levy | |
| How Computers Play Chess | Paperback | 978-0-7167-8121-9 | 1990 | D.N.L. Levy | |
| Kasparov versus Deep Blue: Computer Chess Comes of Age | Hardcover | 978-0-387-94820-1 | 1996 | ||
Ishi Press · Springer · W. H. Freeman