Gebser, Martin.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
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.