Correction to: Lambek Calculus with Conjugates.

Igor Sedlár Andrew Tedder

Published in: Stud Logica (2021)

Keyphrases

real time
automated deduction
databases
machine learning
error correction
real world
computer vision
information systems
website
data structure
probabilistic model
infrared
error detection
formal language
algebraic structure
database query languages