Analogy for automated reasoning
Stephen Owen
Bok Engelsk 1990
| Utgitt | Boston : Academic Press , c1990
|
|---|---|
| Omfang | xv, 235 s. : ill.
|
| Emner | Analogy
Artificial intelligence Automatic theorem proving Kunnskapsbaserte systemer kunstig intelligens analogi |
| ISBN | 0125317158
|
