Inici
Artícul aleatori
Canvis recents
Pàgines especials
Portal comunitari
Configuració
Al voltant de L'Enciclopèdia, la wikipedia en valencià
Exoneracions
Buscar
Menú d'usuari
Crear un conte
Accedir
Categoria
:
Demostradores de teoremes
Llegir en un atre idioma
Vigilar
Vore còdic font
Artículs en la categoria «Demostradores de teoremes»
Esta categoria té les següents 11 pàgines:
A
ACL2
C
Coq
Càlcul de construccions
D
Demostració automàtica de teoremes
Demostració interactiva de teoremes
I
Isabelle
L
LCF
Logic Theorist
P
PhoX
Provador de teoremes llògiques
R
Resolució (llògica)
