Publication

Instantial Logic : an investigation into reasoning with instances Dissertation

W. P. M. Meyer Viol (Wilfried)

Using Eiffel to Adaptively Render 3 Dimensional Images Article

T. van Rij and A.A.M. Kuijk (Fons)

Studies in Dynamic Logic Dissertation

G. Cepparello (Giovanna)

Uitnodiging voor receptie ter gelegenheid van 25-jarig dienstverband van Paul den Hertog Other

Interactive design of constrained variational curves Article

W. Wesselink and R.C. Veltkamp (Remco)

Kegelsneden en kwadratische vormen : vakantiecursus 1995 : programma Booklet

Eurographics '95 : graphics, multimedia, virtual reality : annual conference of the European Association for Computer Graphics, Maastricht, 28.08-01.09.1995 : organized by CWI : first announcement Booklet

Explicit methods for stiff ODEs from atmospheric chemistry Article

J.G. Verwer (Jan) and D. Simpson