Hostname: page-component-5c6d5d7d68-vt8vv Total loading time: 0.001 Render date: 2024-08-07T04:20:07.788Z Has data issue: false hasContentIssue false

Algorithmic methods for artificial intelligence by M Griffiths & C Palissier, Kogan Page1986 - Formal methods in artificial intelligence by J-P Delahaye, North Oxford Academic1987

Published online by Cambridge University Press:  07 July 2009

Dave Saunders
Affiliation:
Dept of computer science and statistics, Queen Mary College, London E1 4HS.

Abstract

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Book Review
Copyright
Copyright © Cambridge University Press 1987

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Hofstadter, D R, 1980. Godal, Escher, Bach: An Eternal Golden Braid, Vintage Books.Google Scholar
Addis, T R, 1985. Designing Knowledge-Based Systems, Kogan Page.Google Scholar
Alexander, I, 1986. Designing Intelligent Systems, Kogan Page.Google Scholar
Hodges, W, 1985. LOGIC, Pelican.Google Scholar
Bratko, I, 1986. PROLOG programming for Artificial Intelligence, Addison-Wesley.Google Scholar
Winston, P H and Horn, B K P, 1981. LISP, Addison-Wesley.Google Scholar