Kamareddine, Fairouz D.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Intelligent computer mathematics = 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021 : proceedings /
by:
Kamareddine, Fairouz D.; SpringerLink (Online service); Coen, Claudio Sacerdoti.; CICM (Conference) (2021 :)
(書目-電子資源)
A modern perspective on type theory = from its origins until today /
by:
Kamareddine, Fairouz D.; Laan, Twan.; Nederpelt, R. P.; NetLibrary, Inc.
(書目-電子資源)
主題
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.