Cover Image
Read Now

1
by Gabbay, Dov M., Olivetti, N.
Published 2000
Springer Netherlands
“.... The methodology is based on goal-directed provability. It is a generalization of the logic programming style...”