Gérard P. Huet

2 papers in the IJCAI proceedings

IJCAI 1977

Artificial Intelligence in Western Europe

with Jacques Pitrat, Erik Sandewall, Wolfgang Bibel, Hans-Hellmut Nagel, M. Somalivco

Details PDF

IJCAI 1973

A Mechanization of Type Theory

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings