On the Selective Lambek Calculus.

Marcelo da Silva Corrêa Edward Hermann Haeusler

Published in: LACL (2005)

Keyphrases

machine learning
artificial intelligence
case study
information technology
multiresolution
automated deduction
algebraic structure
computer algebra
qualitative spatial and temporal reasoning