Wiedijk, Freek.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
The Seventeen Provers of the WorldForeword by Dana S. Scott /
by:
SpringerLink (Online service); Wiedijk, Freek.
(書目-電子資源)
Logics and type systems in theory and practiceessays dedicated to Herman Geuvers on the occasion of his 60th birthday /
by:
Capretta, Venanzio.; Geuvers, Herman, (1964-); Krebbers, Robbert.; SpringerLink (Online service); Wiedijk, Freek.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Computer logic.
Applications of Mathematics.
Mathematics of Computing.
Algebra
Artificial Intelligence (incl. Robotics)
Mathematical Applications in Computer Science.
Type theory.
Computer Science Logic and Foundations of Programming.
Lambda calculus.
Proof theory
Computer Science.