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