bn:01893665n
Noun Concept
Categories: Lógica, Métodos formais
PT
prova automática de teoremas  dedução automática  Prova automática de teorema  prova de teoremas  provador de teoremas automatizado
PT
Prova automática de teoremas ou dedução automática é a prova de teoremas matemáticos por um programa de computador. Wikipedia
Definitions
Relations
Sources
PT
Prova automática de teoremas ou dedução automática é a prova de teoremas matemáticos por um programa de computador. Wikipedia