Formal methods in artificial intelligence /
Delahaye, Jean-Paul.
London North Oxford
1987
Bibliography: p191-202. - Includes index
Artificial intelligence.