A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'theorem proving'




Interactive theorem proving and program development / Bertot, Yves
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 16714 68C305 imprimé / autre CRDM 68/INFORMATIQUE Disponible