Handbook of logic in artificial intelligence and logic programming. Vol. 4. Epistemic and temporal reasoning
volume coordinator: Antony Galton
Bok Engelsk 1995
| Utgitt | Oxford : Clarendon Press , 1995
|
|---|---|
| Omfang | xvii, 611 s.
|
| Emner | Artificial intelligence
Logic programming Logic, Symbolic and mathematical Deduksjon Vis mer... Erkjennelsesteori
Intelligens Kunnskapsteori : (NO-TrBIB)REAL012994 Kunnskapsteorier : (NO-TrBIB)REAL012994 Kunstig intelligens Logikk Logikkprogrammering Logisk programmering Matematisk logikk Programmering matematisk logikk kunstig intelligens logisk programmering ekspertsystemer logikkprogrammering |
| ISBN | 0198537913
|
