Languages
Beklemishev, Lev D.
Overview
Works: | 3 works in 1 publications in 1 languages |
---|
Titles
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 :)
(Language materials, printed)
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)
(Language materials, printed)
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.
(Language materials, printed)
, [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)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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