Languages
Kamareddine, Fairouz.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
A Modern Perspective on Type Theory = From its Origins until Today /
by:
Laan, Twan.; Nederpelt, Rob.; SpringerLink (Online service); Kamareddine, Fairouz.
(Language materials, printed)
Subjects
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.