Isabelle (logiciel)
- Isabelle (logiciel)
-
Pour les articles homonymes, voir
Isabelle.
Le logiciel Isabelle est un assistant de preuve, c'est-à-dire un démonstrateur interactif de théorèmes. C'est le successeur de HOL.
C’est un logiciel libre publié sous licence BSD.
Liens externes
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Isabelle (logiciel) de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Alceste (logiciel) — Pour les articles homonymes, voir Alceste (homonymie). Alceste est un logiciel d analyse de données textuelles ou de statistique textuelle. Le logiciel a été conçu à l origine par Max Reinert du CNRS en France dans le laboratoire de Jean Paul… … Wikipédia en Français
Alceste (Logiciel) — Pour les articles homonymes, voir Alceste (homonymie). Alceste est un logiciel d analyse de données textuelles ou de statistique textuelle. Le logiciel a été conçu à l origine par Max Reinert du CNRS en France dans le laboratoire de Jean Paul… … Wikipédia en Français
Coq (Logiciel) — Coq est un assistant de preuve développé à l INRIA, à l École polytechnique et à l Université de Paris XI (et antérieurement à l École normale supérieure de Lyon) dans le cadre du projet TypiCal. Caractéristiques du logiciel Coq est fondé sur le… … Wikipédia en Français
Coq (logiciel) — Pour les articles homonymes, voir Coq (homonymie). Coq (logiciel) … Wikipédia en Français
Collections Presse des éditions Atlas — Éditions Atlas se targue de publier des encyclopédies par fascicules vendues chez les marchands de journaux depuis 1975. Parmi ces publications figurent L encyclopédie Atlas de la médecine[1] ainsi qu une série de livres de la collection La… … Wikipédia en Français
Arthur Rimbaud — « Rimbaud » redirige ici. Pour les autres significations, voir Rimbaud (homonymie). Arthur Rimbaud … Wikipédia en Français
Assistant de preuve — En informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant l écriture et la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des… … Wikipédia en Français
Secret of Evermore — Éditeur Squaresoft Développeur Square USA Concepteur … Wikipédia en Français
Actrice de voix — Doublage Pour les articles homonymes, voir Doublage (homonymie). Le doublage est une technique consistant à substituer aux voix des comédiens d une œuvre audiovisuelle (film, feuilleton...), les voix de comédiens s exprimant dans une autre langue … Wikipédia en Français
Base de données — Pour les articles homonymes, voir base, BD, BDD et DB. modèle de données de la base de données de MediaWiki … Wikipédia en Français