Berghammer, Rudolf.
概要
| 作品: | 4 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Mathematik für die Informatik = Grundlegende Begriffe, Strukturen und ihre Anwendung /
by:
Berghammer, Rudolf.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Relations and kleene algebra in computer science = 11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings /
by:
Jaoua, Ali Mohamed.; Moller, Bernhard.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Berghammer, Rudolf.
(書目-語言資料,印刷品)
Mathematik für die Informatik = Grundlegende Begriffe, Strukturen und ihre Anwendung /
by:
Berghammer, Rudolf.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
主題
Mathematical logic.
Computer science—Mathematics.
Symbolic and Algebraic Manipulation.
Algebraic logic
Mathematics of Computing.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Mathematical Logic and Foundations.
Arithmetic and logic units, Computer.
Relation algebras
Discrete Mathematics in Computer Science.
Algebra.
Order, Lattices, Ordered Algebraic Structures.
Arithmetic and Logic Structures.