Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge : March 7-9 - detaljert visning

Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge : March 7-9, 1988, Pacific Grove, California


Utgitt	Los Altos, Calif. : Morgan Kaufmann , c1988
Omfang	viii, 401 s. : ill.
Emner	Artificial intelligence - Congresses. Knowledge, Theory of - Congresses. Logic, Symbolic and mathematical - Congresses. Reasoning - Congresses. Vis mer... Kunnskapsteori Kunstig intelligens Matematisk logikk kunstig intelligens kongresser form symbolsk logikk erkjennelsesteori
ISBN	0934613664