Languages
Swart, Harrie de.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Philosophical and mathematical logic
by:
SpringerLink (Online service); Swart, Harrie de.
(Language materials, printed)
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 :)
(Language materials, printed)
Subjects
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.