Formal methods in artificial intelligence
Allan Ramsay
| Main Creator: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published / Created: |
Cambridge
Cambridge University Press
1988
|
| Series: | Cambridge tracts in theoretical computer science
6 |
| Subjects: | |
| Notes: | Physical description: ix, 279 p. ill. 26 cm. |