語系
Beklemishev, Lev D.
概要
| 作品: | 3 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic, language, information and computation = 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings /
by:
Beklemishev, Lev D.; SpringerLink (Online service); Queiroz, Ruy de.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
Fields of Logic and Computation II = Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /
by:
SpringerLink (Online service); Beklemishev, Lev D.; Blass, Andreas.; Dershowitz, Nachum.; Finkbeiner, Bernd.; Schulte, Wolfram.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
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)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Computer science—Mathematics.
Algorithm Analysis and Problem Complexity.
Computer logic.
Numerical analysis.
Symbolic and Algebraic Manipulation.
Logic, Symbolic and mathematical
Computers.
Discrete Mathematics in Computer Science.
Software engineering
Computer Science.
Programming Techniques.
Computer programming.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Algorithms.
Numeric Computing.
Computation by Abstract Devices.
Computer logic