語系
Serrano, Manuel.
概要
| 作品: | 3 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Trends in functional programming = 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Serrano, Manuel.; Hage, Jurriaan.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Trends in Functional Programming = 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers /
by:
SpringerLink (Online service); Serrano, Manuel.; Hage, Jurriaan.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Mathematical logic.
Functional programming (Computer science)
Computer logic.
Artificial Intelligence.
Artificial intelligence.
Data structures (Computer science)
Software engineering.
Logic design
Computer Science.
Programming Techniques.
Computer programming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)