Dmitri Ivanovich Sviridenko

Publication Activity (10 Years)

Years Active: 1985-2023
Publications (10 Years): 1

Top Topics

Ai Technologies

Top Venues

Cogn. Syst. Res.

Publications

E. E. Vityaev, Sergey S. Goncharov, Dmitri Ivanovich Sviridenko
Task-driven approach to artificial intelligence. Cogn. Syst. Res. 81 (2023)
Yuri Leonidovich Ershov, Sergei S. Goncharov, Dmitri Ivanovich Sviridenko
Semantic Foundations of Programming. FCT (1987)
Sergei S. Goncharov, Yuri Leonidovich Ershov, Dmitri Ivanovich Sviridenko
Semantic Programming. IFIP Congress (1986)
Sergei S. Goncharov, Dmitri Ivanovich Sviridenko
Theoretical aspects of Sigma-programming. Mathematical Methods of Specification and Synthesis of Software Systems (1985)