Formal methods in artificial intelligence / Allan Ramsay.
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge ; New York :
Cambridge University Press,
1988.
|
| Series: | Cambridge tracts in theoretical computer science ;
6. |
| Subjects: |
| Item Description: | Includes index. |
|---|---|
| Physical Description: | ix, 279 pages : illustrations ; 26 cm. |
| Bibliography: | Bibliography: pages [273]-275. |
| ISBN: | 0521352363 |
| Action Note: | committed to retain 20160101 20410101 Alliance Shared Trust https://www.coalliance.org/shared-print-archiving-policies. |