On Classical Nonassociative Lambek Calculus.

Wojciech Buszkowski

Published in: LACL (2016)

Keyphrases

database
real time
machine learning
artificial intelligence
data structure
special case
formal language
automated deduction