Formal methods in artificial intelligence
Allan Ramsay
Bok Språk ikke angitt 1988
| Utgitt | Cambridge : Cambridge University Press , 1988
|
|---|---|
| Omfang | ix, 279 s. : ill.
|
| Emner | Artificial intelligence - Methodology.
Logic, Symbolic and mathematical. Reasoning. Kunstig intelligens kunstig-intelligens symbolsk-logikk |
| ISBN | 0521352363
|
