Seipel, Dietmar.
概要
| 作品: | 4 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Applications of declarative programming and knowledge management17th international conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007 ; revised selected papers /
by:
(1998 :); Hanus, Michael.; Seipel, Dietmar.; SpringerLink (Online service); Wolf, Armin.
(書目-電子資源)
Applications of Declarative Programming and Knowledge Management15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers /
by:
(1998 :); Seipel, Dietmar.; SpringerLink (Online service)
(書目-電子資源)
Foundations of information and knowledge systemsthird international symposium, FoIKS 2004 : Wilheminenburg [sic] Castle, Austria, February 17-20, 2004 : proceedings /
by:
(1998 :); Seipel, Dietmar.; SpringerLink (Online service); Turull-Torres, Jose Maria.
(書目-電子資源)
KI 2023advances in artificial intelligence : 46th German Conference on AI, Berlin, Germany, September 26-29, 2023 : proceedings /
by:
(1998 :); Seipel, Dietmar.; SpringerLink (Online service); Steen, Alexander.
(書目-電子資源)
Declarative programming and knowledge managementConference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017 : revised selected papers /
by:
(1998 :); Abreu, Salvador.; Hanus, Michael.; Seipel, Dietmar.; SpringerLink (Online service)
(書目-電子資源)
Applications of declarative programming and knowledge management18th international conference, INAP 2009, Evora, Portugal, November 3-5, 2009 : revised selected papers /
by:
(1998 :); Abreu, Salvador.; Seipel, Dietmar.; SpringerLink (Online service)
(書目-電子資源)
主題
Declarative programming
Software Engineering.
Artificial intelligence
Data mining
Logics and Meanings of Programs.
Computer and Information Systems Applications.
Mathematics of Computing.
Logic programming
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Computer systems
Numeric Computing.
Computer Engineering and Networks.
Artificial Intelligence.
Knowledge management
Computer Science.
Information technology
Constraint programming (Computer science)
Computers and Education.