- Artificial intelligence--Congresses (1)
- Grammar, Comparative and general--Quantifiers (1)
- Language and logic (1)
- Logic programming--Congresses (1)
- Logic, Symbolic and mathematical--Congresses (1)
- Nonclassical mathematical logic--Congresses (1)
- Semantics (1)
- Semantics--Data processing--Congresses (1)