search

arademaker / krr

Knowledge Representation and Reasoning
3 stars 6 forks source link

tableaux para FOL #40

Open arademaker opened 9 years ago

arademaker commented 9 years ago

estender o Tableaux para tratar fórmulas de FOL.

Smully, Raymond M. (1968). First-Order Logic.