Languages
Hanus, Michael.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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.
(Electronic resources)
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.
(Electronic resources)
Subjects
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