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