Login / Signup
L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents.
Stepan L. Kuznetsov
Published in:
Categories and Types in Logic, Language, and Physics (2014)
Keyphrases
</>
data sets
real time
neural network
computer algebra
genetic algorithm
information systems
website
case study
expert systems
algebraic structure