語系
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.
Computer logic.
Artificial intelligence.
Software engineering.
Computer Science.
Programming Techniques.
Computer science
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Functional programming (Computer science)
Artificial Intelligence.
Computer science.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).