Tractable reasoning in artificial intelligence
Marco Cadoli
Bok Engelsk 1995
| Utgitt | Berlin : Springer , c1995
|
|---|---|
| Omfang | XIV, 247 s. : ill.
|
| Emner | Approximation theory
Artificial intelligence Computational complexity Reasoning - Data processing Vis mer... Kunnskapsrepresentasjon
Kunstig intelligens Logikk resonnering kunnskapsrepresentasjon matematisk logikk kompleksitetsklasser |
| ISBN | 3540600582
|
