Lambek Calculus with Optional Divisions.

Tikhon Pshenitsyn

Published in: ESSLLI Student Sessions (2021)

Keyphrases

data sharing
automated deduction
computer algebra
decision making
multiscale
real time
multi agent systems
formal language
automated theorem proving