Kiselyov, Oleg.
Overview
| Works: | 3 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Functional and Logic Programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
by:
Kiselyov, Oleg.; King, Andy.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Functional and logic programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Kiselyov, Oleg.; King, Andy.; SpringerLink (Online service)
(Language materials, printed)
Programming languages and systems = 22nd Asian symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024 : proceedings /
by:
Kiselyov, Oleg.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Mathematical logic.
Computer logic.
Artificial intelligence.
Software engineering.
Theory of Computation.
Computer Science.
Programming Techniques.
Computer programming.
Compilers and Interpreters.
Logic programming
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Functional programming (Computer science)
Artificial Intelligence.
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).