CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1994
-
January 1994
-
January 1994 -
Program verification and prolog Tech Report
January 1994
-
On the power series algorithm Tech Report
January 1994
-
January 1994
-
Time integration of three-dimensional numerical transport models. A Festschrift to honor Professor Robert Vichnevetsky on his 65th birthday. Article
Applied Numerical Mathematics, 16(1-2), 201-225.B.P. Sommeijer (Ben), P.J. van der Houwen (Piet) and J. Kok (Jan)
January 1994 -
The logic of Peirce algebras Tech Report
January 1994