語系
Blass, Andreas.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Fields of logic and computation = essays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
by:
Blass, Andreas.; Dershowitz, Nachum.; Reisig, Wolfgang.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Fields of logic and computation III = essays dedicated to Yuri Gurevich on the the occasion of his 80th birthday /
by:
Blass, Andreas.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Computer logic.
Logics and Meanings of Programs.
Logic in AI.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Data Structures.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Software engineering.
Special Purpose and Application-Based Systems.
Computer science- Mathematics.
Computer Science.
Computer Communication Networks.
Information theory.