MétaCan
Menu

Travaux

Tous les travaux de la base. Chaque rangée indique les voies par lesquelles le travail a été admis, car une base qui oublie comment elle a trouvé un travail ne peut pas être vérifiée.

Voie
Domaine
Type
Langue
Période
à
Consensus du tri
Ordre
Indicateurs
10 000+ travauxpage 2 860
affsans résumé
Theorem Proving Modulo
2003· article· en· Journal of Automated Reasoning· Computer Science
214
citations