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.
Computer Science.
Programming Techniques.
Computer programming.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Algorithms.
Computer logic
Logic, Symbolic and mathematical
Computers.
Discrete Mathematics in Computer Science.
Software engineering
Numeric Computing.
Computation by Abstract Devices.