Mateja Jamnik

2 papers in the IJCAI proceedings

IJCAI 1997

Automation of Diagrammatic Proofs in Mathematics

Details PDF

Automation of Diagrammatic Reasoning

with Alan Bundy, Ian Green

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings