 | 2007 |
|---|
| 4 |       | Nimish Shah,
Simon O'Keefe,
Jim Austin:
The Improved Correlation Matrix Memory (CMML).
IJCNN 2007: 1168-1173 |
| 2005 |
|---|
| 3 | | Nimish Shah:
"Rippling: Meta-Level Guidance for Mathematical Reasoning, " by Alan Bundy, David Basin, Dieter Hutter, and Andrew Ireland, Cambridge University Press, 2005.
J. Autom. Reasoning 35(4): 429-431 (2005) |
| 2004 |
|---|
| 2 | | Nimish Shah:
Knowledge Representation, Reasoning and Declarative Problem Solving by C. Baral, Cambridge University Press, 2003.
J. Funct. Program. 14(5): 588-589 (2004) |
| 1 | | Nimish Shah:
Program Construction: Calculating Implementations from Specifications by R.C. Backhouse, John Wiley & Sons, 2004.
J. Funct. Program. 14(5): 598-600 (2004) |
