Languages
Kamareddine, Fairouz D.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Intelligent computer mathematics = 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021 : proceedings /
by:
CICM (Conference) (2021 :); Kamareddine, Fairouz D.; Coen, Claudio Sacerdoti.; SpringerLink (Online service)
(Electronic resources)
A modern perspective on type theory = from its origins until today /
by:
Laan, Twan.; Nederpelt, R. P.; NetLibrary, Inc.; Kamareddine, Fairouz D.
(Language materials, printed)
Subjects
Computer and Information Systems Applications.
Artificial intelligence- Mathematics
Type theory.
Computer science- Mathematics
Computer Application in Social and Behavioral Sciences.
Artificial Intelligence.
Formal Languages and Automata Theory.
Design and Analysis of Algorithms.
Computers and Education.