Alistair Manning

According to our database, Alistair Manning authored at least 1 paper in 1993.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1993

Incresing the Versatility of Heuristic Based Theorem Provers.

Alistair Manning, Andrew Ireland, Alan Bundy

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993