Artemov, Sergei.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logical foundations of computer scienceInternational Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings /
by:
(1998 :); Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service)
(書目-電子資源)
Logical foundations of computer scienceinternational symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022 : proceedings /
by:
(1998 :); Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service)
(書目-電子資源)
Logical foundations of computer scienceInternational Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, proceedings /
by:
(1998 :); Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service)
(書目-電子資源)
Logical foundations of computer scienceInternational Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018 : proceedings /
by:
(1998 :); Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service)
(書目-電子資源)
Logical foundations of computer scienceInternational Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings /
by:
(1998 :); Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Theory of Computation.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Programming Techniques.
Computer logic
Programming Languages, Compilers, Interpreters.
Computer science
Artificial Intelligence.
Logic, Symbolic and mathematical
Computer Science.
Arithmetic and Logic Structures.
Symbolic and Algebraic Manipulation.