ML Anthology

Green, Ian

2 publications

IJCAI 1997 Automation of Diagrammatic Reasoning Mateja Jamnik, Alan Bundy, Ian Green
AAAI 1991 Using Abstraction to Automate Program Improvement by Transformation Ian Green