1 - Automation in language translation and theorem proving : some applications of mathematical logic, Brussels, June 1968
Braffort, Paul (1923-....) (Ed.)   /   Scheepen, Van F. (Ed.)

Cote : [05 BRA 68]

2 - Computer programming and formal systems
Braffort, Paul (1923-....) (Ed.)   /   Hirschberg, David (Ed.)

Cote : [05 BRA 63]

3 - L'intelligence artificielle : frontières et applications
Marquis, Pierre (Directeur De La Publication)   /   Papini, Odile (Directeur De La Publication)   /   Prade, Henri (1953-....) (Directeur De La Publication)   /   Braffort, Paul (1923-....) (Préface)

Cote : [77.5 MAR 14-3]