Centrum Wiskunde & Informatica

HyloTab: theorem prover for hybrid logic Software

D.J.N. van Eijck (Jan)

January 2002
Numerical time integration for air pollution models Article

Surveys on Mathematics for Industry, 107-174.

J.G. Verwer (Jan), W. Hundsdorfer (Willem) and J.G. Blom (Joke)

January 2002
Nieuwjaarsboekenlegger 2002 Other

January 2002
Nieuwjaarskaart 2002 : versie 1 Other

January 2002
Nieuwjaarskaart 2002 : versie 2 Other

January 2002
Liber amicorum Jaco de Bakker Miscellaneous

January 2002
A Physical Basis for Color Constancy In Proceedings

J.M. Geusebroek (Jan-Mark), R. van den Boomgaard, A.W.M. Smeulders (Arnold) and T. Gevers

January 2002
A Physical Explanation for Natural Image Statistics In Proceedings

J.M. Geusebroek (Jan-Mark) and A.W.M. Smeulders (Arnold)

January 2002

Previous

Next