L-Completeness of the Lambek Calculus with the Reversal Operation.

Stepan L. Kuznetsov

Published in: LACL (2012)

Keyphrases

information retrieval
data quality
database
clustering algorithm
multiscale
expert systems
artificial neural networks
data model
mobile robot
computer algebra