Vic Rayward-Smith

Filter

1996

Modern Heuristic Search Methods
Rayward-Smith, V. J., Osman, I. H., Reeves, C. R. & Smith, G. D., Nov 1996, Wiley. 314 p.
Research output: Book/Report › Book
1995

A First Course in Formal Language Theory
Rayward-Smith, V. J., 1995, McGraw-Hill. 192 p.
Research output: Book/Report › Book
Mathematical Foundations for Computing
Rayward-Smith, V. J. & McKeown, G. P., 1995, London: Macmillan. 401 p.
Research output: Book/Report › Book
1986

A First Course in Formal Logic and Its Applications in Computer Science
Dowsing, R. D., Rayward-Smith, V. J. & Walter, C. D., 1986, Blackwell Scientific Publications. 272 p.
Research output: Book/Report › Book
1982

Mathematics for Computing
McKeown, G. P. & Rayward-Smith, V. J., 1982, Macmillan. (Computer science series)
Research output: Book/Report › Book

Research output