High parallelism and an effective reasoning procedure
C. H. Kung
Bok Språk ikke angitt 1986 Zhenhe Gong
Utgitt | Trondheim , 1986
|
---|---|
Omfang | 25 bl. : fig.
|
Opplysninger | "This report is also published in RUNIT's RIK-series as RIK-report no. 86-5, and in the conference proceedings of Artificial Intelligence-86, Singapore, March 1986."
|
Emner | Kunstig intelligens
Matematisk logikk Matematisk programmering Programmering (Databehandling) kunstig intelligens artificial intelligence ai |
ISBN | 8259543087. - 9788259543080
|