Kamareddine, Fairouz.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
A Modern Perspective on Type Theory = From its Origins until Today /
by:
SpringerLink (Online service); Kamareddine, Fairouz.; Laan, Twan.; Nederpelt, Rob.
(書目-語言資料,印刷品)
Intelligent Computer Mathematics = 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings /
by:
Sacerdoti Coen, Claudio.; SpringerLink (Online service); Kamareddine, Fairouz.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
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.