Book Reviews
Logic programming: operational semantics and proof theory by J. H. Andrews, Cambridge University Press, 1992, pp 104, £25.00, ISBN 0-521-43219-7.
-
- Published online by Cambridge University Press:
- 07 July 2009, pp. 111-112
-
- Article
- Export citation
Formal specification of complex reasoning systems edited by Jan Treur and Thomas wetter, Ellis Horwood, Chichester, 1993, pp 1–282, £35.95, ISBN 0-13-336-785-1.
-
- Published online by Cambridge University Press:
- 07 July 2009, pp. 112-113
-
- Article
- Export citation
Genetic algorithms for machine learning edited by John J. Grefenstette, Kluwer Academic, USA, 1993, £72.50, pp 163, ISBN 0-792-39407-0.
-
- Published online by Cambridge University Press:
- 07 July 2009, pp. 113-114
-
- Article
- Export citation
Front matter
KER volume 10 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 07 July 2009, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
KER volume 10 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 07 July 2009, pp. b1-b6
-
- Article
-
- You have access
- Export citation