Login / Signup
Sequent forms of Herbrand theorem and their applications.
Alexander V. Lyaletski
Published in:
Ann. Math. Artif. Intell. (2006)
Keyphrases
</>
logic programs
first order logic
logic programming
inference rules
databases
case study
search algorithm
computer vision
information systems