- ホーム
- > 洋書
- > フランス書
- > SCIENCES PURES
- > Mathematiques
基本説明
Ces neuf contributions reflètent les récentes avancées de la recherche concernant aussi bien l'application des langages fonctionnels que la conception et l'utilisation d'assistants à la preuve. Avec également des articles plus proches de tutoriels ou de retours d'expérience.



