Formal methods in artificial intelligence / Allan Ramsay.
By: Ramsay, Allan.
Material type: BookSeries: Cambridge tracts in theoretical computer science ; 6. Publisher: Cambridge, Eng. : Cambridge University Press, 1988Description: ix, 279 p. : ill.ISBN: 0521424216 (pbk).Subject(s): Artificial intelligence -- Methodology | Logic, Symbolic and mathematical | ReasoningItem type | Current location | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
Books | Matheson Library | Matheson Library | Main Collection | Main Collection | 006.3 R178 (Browse shelf) | 127 | 104181 |
There are no comments for this item.