語系
Beklemishev, Lev D.
概要
作品: | 0 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Fields of logic and computation II = essays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /
by:
Beklemishev, Lev D.; SpringerLink (Online service)
(書目-電子資源)
Logic, language, information and computation = 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings /
by:
Beklemishev, Lev D.; Queiroz, Ruy de.; SpringerLink (Online service)
(書目-電子資源)
Computer science - theory and applications = 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015 : proceedings /
by:
Beklemishev, Lev D.; Musatov, Daniil V.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Mathematical Logic and Formal Languages.
Software engineering
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Programming Techniques.
Computer logic
Computer science- Mathematics
Numeric Computing.
Computer science
Logic, Symbolic and mathematical
Computer Science.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.