語系
Kamareddine, Fairouz.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Intelligent technologies and applications = first International Conference, INTAP 2018, Bahawalpur, Pakistan, October 23-25, 2018 : revised selected papers /
by:
INTAP (Conference) (2018 :); Bajwa, Imran Sarwar.; Kamareddine, Fairouz.; Costa, Anna.; SpringerLink (Online service)
(書目-電子資源)
A Modern Perspective on Type Theory = From its Origins until Today /
by:
Laan, Twan.; Nederpelt, Rob.; SpringerLink (Online service); Kamareddine, Fairouz.
(書目-語言資料,印刷品)
主題
Logic.
Mathematical Logic and Foundations.
Artificial intelligence
Natural Language Processing (NLP)
Software Engineering.
Image Processing and Computer Vision.
Mathematics of Computing.
Information Systems Applications (incl. Internet)
Type theory.
Mathematics.
Computer Communication Networks.
Systems and Data Security.