Coolsaet, Kris.
Kris Coolsaet
VIAF ID: 288927965 ( Personal )
Permalink: http://viaf.org/viaf/288927965
Preferred Forms
-
- 100 1 _ ‡a Coolsaet, Kris
-
- 100 0 _ ‡a Kris Coolsaet
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
A formal system for proof checking in MIZAR | |
If-then-else calculus applied to propositional logic | |
An introduction to MIKE : a new structured programming language | |
Programmeren in Java met BlueJ : een 'objecten eerst'-benadering |