語系
Benthem, J. F. A. K. van, (1949-)
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Handbook of logic and language
by:
Benthem, J. F. A. K. van, (1949-); Meulen, Alice G. B. ter.
(書目-電子資源)
Handbook of modal logic
by:
Benthem, J. F. A. K. van, (1949-); Blackburn, Patrick, (1959-); Wolter, Frank.
(書目-電子資源)
Language in action : = categories, lambdas, and dynamic logic /
by:
Benthem, J. F. A. K. van, (1949-)
(書目-語言資料,印刷品)
主題
Logique symbolique et math�ematique.
S�emantique.
Categorial grammar.
Logic, Symbolic and mathematical.
Natural language processing (Computer science)
Semantics.
Linguistique.
Linguistica computacional.
Symbolische logica.
Semantiek.
Linguistics.
Wiskundige logica.
Lambda calculus.
Mathematical linguistics.
Traitement automatique des langues naturelles.
Modality (Logic)
Mathematische lingu�istiek.
Natuurlijke-taalverwerking.
Language and logic.