Flum, Jorg.
概要
作品: | 2 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Mathematical logic
by:
Ebbinghaus, Heinz-Dieter.; Flum, Jorg.; SpringerLink (Online service); Thomas, Wolfgang.
(書目-電子資源)
主題
Mathematical Logic and Foundations.
Algorithm Analysis and Problem Complexity
Mathematics
Logic, Symbolic and mathematical.
Mathematics of Computing.
Computer software
Mathematical Logic and Foundations
Computer Science
Computer science
Logic design
Theory of Computation
Mathematical Logic and Formal Languages
Logic, Symbolic and mathematical
Information theory
Computation by Abstract Devices
Logics and Meanings of Programs