search

arademaker / krr

Knowledge Representation and Reasoning
3 stars 6 forks source link

skolemização de fórmulas FOL #39

Open arademaker opened 9 years ago

arademaker commented 9 years ago

Versão inicial submetida pelo Vinícius. Ver bug reportado em #31