Teoremas-Demostración automática

Término
Metadatos

Teoremas-Demostración automática

Términos alternativos

UP↸ Demostración automática de teoremas
UP↸ Prueba automática de teoremas

Términos genéricos

TG↑ Demostración, Teoría de la
TG↑ Inteligencia artificial

EQ Automatic theorem proving (Inglés)

Fecha de creación

21-May-2010

Término aceptado

21-May-2010

Términos descendentes

0

ARK

ark:/99152/t3qg26wdlg8ndr

Términos específicos

0

Términos alternativos

2

Términos relacionados

0

Notas

0

Metadatos

Búsqueda