CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Infinistic rules of proof and their semantics Article
Bulletin de l'Académie Polonaise des Sciences, 879-886.January 1972
-
Non-finite axiomatizability of the second order arithmetic Article
Bulletin de l'Académie Polonaise des Sciences, 347-348.January 1972
-
Omega-models in analytical hierarchy Article
Bulletin de l'Académie Polonaise des Sciences, 901-904.January 1972
-
Inleiding In Proceedings
January 1972
-
Lineaire meerstapsmethoden In Proceedings
January 1972
-
January 1972
-
On the theory of the generation of stable inhomogeneous states in homogeneous mixtures Article
Analysis and simulation of biochemical systems, 19-37.W.Th. Hermens (Wim), P.W. Hemker (Piet) and H.C. Hemker (Coen)
January 1972
-
Numerical methods for differential equations in system simulation and in parameter estimation Article
Analysis and simulation of biochemical systems, 59-80.January 1972