語系
Hage, Jurriaan.
概要
| 作品: | 12 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Implementation and application of functional languages = 22nd international symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Hage, Jurriaan.; Morazan, Marco T.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Implementation and application of functional languages = 23rd international symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011 : revised selected papers /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Hage, Jurriaan.; Gill, Andy.
(書目-語言資料,印刷品)
Trends in functional programming = 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers /
by:
Serrano, Manuel.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Hage, Jurriaan.
(書目-語言資料,印刷品)
Trends in Functional Programming = 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /
by:
McCarthy, Jay.; SpringerLink (Online service); Hage, Jurriaan.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Trends in Functional Programming = 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers /
by:
Hage, Jurriaan.; SpringerLink (Online service); Serrano, Manuel.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Trends in functional programming = 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014 : revised selected papers /
by:
McCarthy, Jay.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Hage, Jurriaan.
(書目-語言資料,印刷品)
主題
Mathematical logic.
Functional programming languages
Artificial intelligence.
Software engineering.
Programming Techniques.
Computer programming.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Artificial Intellgence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Software Engineering.
Computer logic.
Data structures (Computer science)
Computer Science.
Functional programming (Computer science)
Logic design
Programming languages (Electronic computers).