Inicio
Al azar
Cercanos
Acceder
Configuración
Donaciones
Acerca de Wikipedia
Limitación de responsabilidad
Buscar
Categoría
:
Demostradores de teoremas
Idioma
Vigilar
Editar
Páginas en la categoría «Demostradores de teoremas»
Herramientas:
Gráfico
•
Intersección
•
Página aleatoria
•
Búsqueda interna
•
Tráfico
Esta categoría contiene las siguientes 13 páginas:
A
ACL2
C
Cálculo de construcciones
Coq
D
Demostración automática de teoremas
Demostración interactiva de teoremas
I
Isabelle
L
LCF
Logic Theorist
M
Maple (software)
Mathematica
P
PhoX
Probador de teoremas lógicos
R
Resolución (lógica)