Titre Reasoning from incomplete knowledge in a procedural deduction system / Robert C. Moore.

Adresse Bibliographique

New York : Garland Pub., 1979.

Exemplaires

Localisation	Cote	Statut
Training Stacks	Q360 .M665 1979	AVAILABLE

Description	112 p. ; 20 cm.
Collection	Outstanding dissertations in the computer science
	Outstanding dissertations in the computer sciences.
Notes	Rev. version of the author's thesis (M.S.) Massachusetts Institute of Technology, 1975.
Bibliography	Bibliography: p. 110-112.
Sujet	Artificial intelligence.
	Knowledge, Theory of.
	Logic, Symbolic and mathematical.
ISBN	0824044037 :