Type Logics and Pregroups.

Wojciech Buszkowski

Published in: Stud Logica (2007)

Keyphrases

database
expressive power
real time
multimedia
three dimensional
expert systems
data model
knowledge representation
first order logic