XML Reasoning Solver User Manual
Résumé
This manual provides documentation for using the XML reasoning solver.
Ce manuel documente l'utilisation du solveur logique décrit dans\cite{geneves-phd06,geneves-pldi07,geneves-rr08a}.}
Origine | Fichiers éditeurs autorisés sur une archive ouverte |
---|
Loading...