Anar al contingut
Menú principal
Menú principal
Desplaçar a la columna lateral
amagar
Navegació
Portada
Portal comunitari
Canvis recents
Pàgines noves
Artícul aleatori
Pàgines especials
Ajuda
Buscar
Buscar
Aparència
Crear un conte
Accedir
Ferramentes personals
Crear un conte
Accedir
Pàgines per a editors desconectats
més informació
Contribucions
Discussió per a esta IP
Categoria
:
Demostradores de teoremes
Categoria
Discussió
valencià
Vore
Editar
Editar còdic
Vore historial
Ferramentes
Ferramentes
Desplaçar a la columna lateral
amagar
Accions
Vore
Editar
Editar còdic
Vore historial
General
Lo que enllaça ací
Canvis relacionats
Versió per a imprimir
Enllaç permanent
Informació de la pàgina
Aparència
Desplaçar a la columna lateral
amagar
Ajuda
De L'Enciclopèdia, la wikipedia en valencià
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)
Categoria
:
Matemàtiques aplicades
Buscar
Buscar
Categoria
:
Demostradores de teoremes
Afegir tema
