Formal methods in artificial intelligence / Allan Ramsay.
Material type:
TextSeries: Cambridge tracts in theoretical computer science ; 6Publication details: Cambridge ; New York : Cambridge University Press, 1991, c1988.Description: ix, 279 p. : ill. ; 25 cmISBN: - 0521424216 (pbk.)
- 0521352363 (hbk.)
Ordinary Loan Books
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Ordinary Loan Books
|
Main Library | NFIC | Q335 RAM (Browse shelf(Opens below)) | Available | 92003007671 |
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.