automatic theorem proving
Get Babylon's Translation Software!
Free Download Now!
Babylon 8 - Your all-in-one solution
Award winning translation software trusted by millions. Translate from any language to any language.
View Demo
Translation
Dictionary
Tools
Wikipédia Français
Téléchargez ce dictionnaire
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 assertions relatives à l'exécution de
programmes informatiques
.
Pour la suite, voir Wikipédia.org…
© Cet article se sert du contenu de
Wikipédia
®
et est autorisé sous les termes de la
Licence de Documentation libre GNU
Décrivez automatic theorem proving
Définition de automatic theorem proving
|
automatic theorem proving en Anglais
|
automatic theorem proving en Allemand
|
automatic theorem proving en Russe
Free Download Now!
Free Download Now!
