Partial proofs and partial answers - Klahr, Philip, 1946-; Research and Development Corporation (Santa Monica, California : Rand Corporation, 1978)
Includes bibliographical references (pages 18-19)
Keywords: Artificial intelligence