AI and expertise heuristic search, influence engines automatic proving /
Farreny, Henri.
Chichester Ellis Horwood
1989
Includes bibliography and index
Artificial intelligence.
Problem solving.