語系
Uustalu, Tarmo.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Theoretical Aspects of Computing – ICTAC 2018 = 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings /
by:
Fischer, Bernd.; SpringerLink (Online service); Uustalu, Tarmo.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Advanced Functional Programming = 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Uustalu, Tarmo.; SpringerLink (Online service); Vene, Varmo.
(書目-語言資料,印刷品)
Theoretical aspects of computing - ICTAC 2018 = 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018 : proceedings /
by:
Fischer, Bernd.; SpringerLink (Online service); Uustalu, Tarmo.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Artificial Intelligence (incl. Robotics)
Functional programming (Computer science)
Computer logic.
Artificial Intelligence.
Artificial intelligence.
Software engineering.
Computer science.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer science
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.