語系
Kuchen, Herbert.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Functional and constraint logic programming = 20th international workshop, WFLP 2011, Odense, Denmark, July 19th : proceedings /
by:
Kuchen, Herbert.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Declarative Programming and Knowledge Management = Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers /
by:
SpringerLink (Online service); Kuchen, Herbert.; Hofstedt, Petra.; Abreu, Salvador.; Seipel, Dietmar.; John, Ulrich.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Functional programming (Computer science)
Artificial Intelligence.
Artificial intelligence.
Symbolic and Algebraic Manipulation.
Constraint programming (Computer science)
Computer Communication Networks.
Computers.
Computer Science.
Programming Techniques.
Computer programming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer Imaging, Vision, Pattern Recognition and Graphics.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer communication systems.
Artificial Intelligence (incl. Robotics)
Information Systems and Communication Service.