語系
Hanus, Michael.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic-based program synthesis and transformation = 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Hanus, Michael.
(書目-電子資源)
Applications of declarative programming and knowledge management = 17th international conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007 ; revised selected papers /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Hanus, Michael.; Seipel, Dietmar.; Wolf, Armin.
(書目-電子資源)
主題
Software Engineering.
Artificial Intelligence (incl. Robotics)
Declarative programming
Constraint programming (Computer science)
Logic programming
Algorithms.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Knowledge management
Data mining
Computer Science.
Programming Techniques.
Computer programming