語系
Kuchen, Herbert.
概要
| 作品: | 4 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Functional and constraint logic programming20th international workshop, WFLP 2011, Odense, Denmark, July 19th : proceedings /
by:
(1998 :); Kuchen, Herbert.; SpringerLink (Online service)
(書目-電子資源)
Programming languagesimplementations, logics, and programs : 9th international symposium, PLILP'97, including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings /
by:
(1998 :); Glaser, Hugh.; Hartel, Pieter.; Kuchen, Herbert.; SpringerLink (Online service)
(書目-電子資源)
Functional and logic programming5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings /
by:
(1998 :); Kuchen, Herbert.; SpringerLink (Online service); Ueda, Kazunori.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Logic programming
Artificial Intelligence (incl. Robotics)
Computer programming
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Functional programming (Computer science)
Computer Imaging, Vision, Pattern Recognition and Graphics.
Computer Science.
Constraint programming (Computer science)
Symbolic and Algebraic Manipulation.