Recherche avancéePréférences

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]

Nombre de résultats : 1