Michel Bidoit

Laboratoire de Recherche en Informatique Batiment n° 490 Universite de Paris-Sud 91405 ORSAY ( France

1 paper in the IJCAI proceedings

IJCAI 1979

A System which Synthesizes Array-Manipulating Programs from Specifications

with Christian Gresse, Gérard D. Guiho

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings