A Basis Result in Combinatory Logic.

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

Keyphrases

real world
description logics
database
decision making
image processing
decision trees
case study
logic programming
automated reasoning
deontic logic
asynchronous circuits