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
|