St Andrews University Library / All Locations

0198537913 : / £65.00 : Handbook of logic in artificial intelligence and logic programming. Vol. 4, Epistemic and temporal reasoning / edited by Dov M. Gabbay and C. J. Hogger and J. A. Robinson ; volume coordinator Antony Galton.

1995

1

0198537921 (hbk. : v.5) : Handbook of logic in artificial intelligence and logic programming. Vol. 5, Logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson.

1998

1

0198538030 (pbk) : / £12.50 : A first course in coding theory / Raymond Hill.

1986

1

0198538049 : A first course in coding theory / Raymond Hill.

1986

1

0198538251 : Dictionary of computing.

1990

1

0198538332 : Labelled deductive systems. Vol. 1 / Dov M. Gabbay.

1996

1

0198538332 (hbk) : Labelled deductive systems. Vol. 1 / Dov M. Gabbay.

1996

1

0198538405 : Lambda calculi : a guide for computer scientists / Chris Hankin.

1994

1

0198538499 : Neural networks for pattern recognition / Christopher M. Bishop.

1995

1

0198538499 (hbk) : Neural networks for pattern recognition / Christopher M. Bishop.

1995

1

0198538510 : / £40.00 : Teoría de modelos. English

1999

1

0198538545 : Specification and validation methods / edited by Egon Börger.

1995

1

Classic Catalogue