LNAI 8625 - Controlled Natural Language
Tobias Kuhn & Brian Davis & Kaarel Kaljurand
Recursive Functions and Metamathematics
Roman Murawski
Synthese Library (286)
The Natural Language Processing Workshop: Confidently Design ...
Rohan Chopra & Aniruddha M. Godbole & Nipun Sadvilkar
Instrumental Realism: The Interface Between Philosophy of Science ...
Don Ihde
Theory of Deductive Systems and Its Applications
Sergej J. Maslov
Gregg Shorthand - Aesop’s Fables
Aesop