Gebser, Martin.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Practical aspects of declarative languages = 26th international symposium, PADL 2024, London, UK, January 15-16, 2024 : proceedings /
by:
SpringerLink (Online service); Gebser, Martin.; Workshop on the Preservation of Stability under Discretization ((2001 :); Sergey, Ilya.
(Language materials, printed)
Logics in Artificial Intelligence = 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings /
by:
Gebser, Martin.; Friedrich, Gerhard.; Morak, Michael.; Faber, Wolfgang.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Computer logic.
Artificial Intelligence.
Artificial intelligence.
Special Purpose and Application-Based Systems.
Knowledge Based Systems.
Computer Applications.
Declarative programming
Programming Language.
Theory of Computation.
Computer programming.
Programming Techniques.
Declarative programming languages
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Special purpose computers.
Computer and Information Systems Applications.
Computer Engineering and Networks.
Application software.