Classical Conservative Extensions of Lambek Calculus.

V. Michele Abrusci

Published in: Stud Logica (2002)

Keyphrases

databases
artificial intelligence
information systems
website
efficient implementation
classical methods
formal language
computer algebra