Logiciel

Qiana : Un formalisme du premier ordre pour quantifier les contextes et les formules

Qiana

Création le :

Mis a jour le :

Pierre-Henri Paris
En maintenance
MIT License

Plus d'infos