Handbook of logic in artificial intelligence and logic programming. Vol. 2. Deduction methodologies

volume co-ordinator: J. Siekmann
Bok Engelsk 1994


Utgitt	Oxford : Clarendon Press , 1994
Omfang	XV, 511 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 deduktive metoder
ISBN	0198537468

Biblioteksøk