The Lazy Logic of Partial Terms.

Raymond D. Gumb

Published in: J. Symb. Log. (2002)

Keyphrases

co occurrence
database
databases
real world
machine learning
multiscale
search algorithm
logic programming
expressive power
proof theory