語系
Swart, Harrie de.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Philosophical and mathematical logic
by:
SpringerLink (Online service); Swart, Harrie de.
(書目-語言資料,印刷品)
Relational and algebraic methods in computer science = 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 : proceedings /
by:
SpringerLink (Online service); Swart, Harrie de.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Artificial Intelligence (incl. Robotics)
Symbolic and Algebraic Manipulation.
Logic, Symbolic and mathematical.
Simulation and Modeling.
Epistemology.
Computer Science.
Logic.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Mathematical Logic and Foundations.