On a logical formalization of natural language
The search session has expired. Please query the service again.
Page 1
Displaying 1 – 3 of 3
On Semantics of a Term Calculus for Classical Logic
Silvia Likavec, Pierre Lescanne (2012)
Publications de l'Institut Mathématique
Opérateurs de mise en mémoire et types -positifs
Karim Nour (1996)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Currently displaying 1 – 3 of 3
Page 1