A logic-based modelling of prolog resolution sequences

John S Jeavons, John N Crossley

Abstract


Without abstract

Full Text:

PDF

Refbacks

  • There are currently no refbacks.