Annuaire de l'Afrique du nord

tome I, 1962

Travaux du groupe combinatoire

Automated reasoning

introduction and applications

Problèmes matériels, structurels et logiciels de l'informatique répartie en temps réel

Architecture matérielle pour l'intélligence artificielle et la reconnaissance des formes