Languages
Abreu, Salvador.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Declarative programming and knowledge management = Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017 : revised selected papers /
by:
Abreu, Salvador.; SpringerLink (Online service); Hanus, Michael.; Seipel, Dietmar.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Declarative Programming and Knowledge Management = Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers /
by:
Hanus, Michael.; Seipel, Dietmar.; SpringerLink (Online service); Abreu, Salvador.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Applications of declarative programming and knowledge management = 18th international conference, INAP 2009, Evora, Portugal, November 3-5, 2009 : revised selected papers /
by:
Seipel, Dietmar.; SpringerLink (Online service); Abreu, Salvador.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
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:
Kuchen, Herbert.; Hofstedt, Petra.; SpringerLink (Online service); Abreu, Salvador.; Seipel, Dietmar.; John, Ulrich.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Mathematical logic.
Computer logic.
Artificial intelligence.
Numerical analysis.
Declarative programming
Computer Communication Networks.
Software engineering.
Programming Techniques.
Computer Science.
Computer programming.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Knowledge management
Computer communication systems.
Artificial Intelligence (incl. Robotics)
Information Systems and Communication Service.
Artificial Intelligence.
Computers.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Numeric Computing.