語系
Salomaa, Arto.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
New trends in formal languagescontrol, cooperation, and combinatorics /
by:
Paun, Gheorghe.; Salomaa, Arto.; SpringerLink (Online service)
(書目-電子資源)
Rainbow of computer sciencededicated to Hermann Maurer on the occasion of his 70th birthday /
by:
Calude, Cristian S.; Rozenberg, Grzegorz.; Salomaa, Arto.; SpringerLink (Online service)
(書目-電子資源)
Theory is foreveressays dedicated to Arto Salomaa on the occasion of his 70th birthday /
by:
Karhumaki, Juhani.; Salomaa, Arto.; SpringerLink (Online service)
(書目-電子資源)
Arto Salomaamathematician, computer scientist, and teacher, a thematic biography /
by:
Paakki, Jukka.; Salomaa, Arto.; SpringerLink (Online service)
(書目-電子資源)
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)
(書目-電子資源)
Structures in logic and computer sciencea selection of essays in honor of A. Ehrenfeucht /
by:
Ehrenfeucht, Andrzej.; Mycielski, Jan.; Rozenberg, Grzegorz.; Salomaa, Arto.; SpringerLink (Online service)
(書目-電子資源)
主題
Theory of Computation.
Mathematical Logic and Formal Languages.
History of Computing.
Machine theory.
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
College teachers
Mathematics of Computing.
Formal languages.
Artificial Intelligence (incl. Robotics)
Computer scientists
Mathematicians
Programming languages (Electronic computers)
User Interfaces and Human Computer Interaction.
Salomaa, Arto.
History of Mathematical Sciences.
Parsing (Computer grammar)
Formal languages
Computer science
Computer science.
Ehrenfeucht, Andrzej.
Computer Science.
Computers and Society.
Discrete Mathematics.