Axiomatizability of Ajdukiewicz-Lambek Calculus by Means of Cancellation Schemes.

Wojciech Zielonka

Published in: Math. Log. Q. (1981)

Keyphrases

real time
artificial intelligence
computer vision
decision making
image processing
natural language
artificial neural networks
evolutionary algorithm