語系
Kuich, Werner.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Algebraic foundations in computer scienceessays dedicated to Symeon Bozapalidis on the occasion of his retirement /
by:
Kuich, Werner.; Rahonis, George.; SpringerLink (Online service)
(書目-電子資源)
Handbook of weighted automata
by:
Droste, Manfred.; Kuich, Werner.; SpringerLink (Online service); Vogler, Heiko.
(書目-電子資源)
Developments in language theory5th International Conference, DLT 2001, Wien, Austria, July 16-21, 2001 : revised papers /
by:
(1998 :); Kuich, Werner.; Rozenberg, Grzegorz.; Salomaa, Arto.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Software Engineering.
Machine theory
Mathematics of Computing.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Formal languages
Computer science
Computer Science.
Symbolic and Algebraic Manipulation.