Alberto Martelli

IEI .. ,. CNR Via S.Maria 46 , I-56100 Pisa , Italy

3 papers in the IJCAI proceedings

IJCAI 1977

Theorem Proving with Structure Sharing and Efficient Unification

with Ugo Montanari

Details PDF

IJCAI 1975

Form Dynamic Programming To Search Algorithms With Functional Costs

with Ugo Montanari

Details PDF

IJCAI 1973

Additive AND/OR Graphs

with Ugo Montanari

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings