Kamareddine, Fairouz.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
A Modern Perspective on Type Theory = From its Origins until Today /
by:
SpringerLink (Online service); Kamareddine, Fairouz.; Laan, Twan.; Nederpelt, Rob.
(Language materials, printed)
Intelligent Computer Mathematics = 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings /
by:
Sacerdoti Coen, Claudio.; SpringerLink (Online service); Kamareddine, Fairouz.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Intelligent Technologies and Applications = First International Conference, INTAP 2018, Bahawalpur, Pakistan, October 23-25, 2018, Revised Selected Papers /
by:
Bajwa, Imran Sarwar.; SpringerLink (Online service); Kamareddine, Fairouz.; Costa, Anna.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Mathematical logic.
Type theory.
Systems and Data Security.
Image Processing and Computer Vision.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Computers and Education.
Education—Data processing.
Natural language processing (Computer science).
Information Systems Applications (incl. Internet).
Mathematics of Computing.
Logic.
Computer security.
Mathematical Logic and Foundations.
Algorithms.
Mathematical Logic and Formal Languages.
Computer communication systems.
Application software.
Artificial Intelligence.
Mathematics.
Computer Appl. in Social and Behavioral Sciences.
Natural Language Processing (NLP).
Optical data processing.