Bordihn, Henning.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday /
by:
Bordihn, Henning.; Kutrib, Martin.; SpringerLink (Online service); Truthe, Bianca.
(書目-語言資料,印刷品)
Descriptional complexity of formal systems = 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Tran, Nicholas.; Vaszil, Gyorgy.; SpringerLink (Online service); Bordihn, Henning.
(書目-語言資料,印刷品)
主題
Formal methods (Computer science)
Artificial Intelligence.
Formal languages
Symbolic and Algebraic Manipulation.
Theory of Computation.
Discrete Mathematics in Computer Science.
Computing Methodologies.
Computer Science.
Machine theory
Formal languages.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Computer Engineering and Networks.
Computer Science Logic and Foundations of Programming.