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 2000
-
Average-case quantum query complexity In Proceedings
January 2000 -
The propositional formula checker HeerHugo Article
Journal of Automated Reasoning, 24(1-2), 101-125.January 2000
-
Inference on rare errors using asymptotic expansions and bootstrap calibration Article
Biometrika, 87(3), 689-694.January 2000 -
January 2000
-
January 2000
-
Multi-issue negotiation processes by evolutionary simulation : validation and social extensions Tech Report
E.H. Gerding (Enrico), D.D.B. van Bragt and J.A. La Poutré (Han)
January 2000
-
Chromosome No. 1 of Crepis Cappilaris Shows Defined 3D-Shapes in Mitotic Prophase Article
Chromosome Research, 8(3), 243-252.A. Houtsmuller, J. Oud, M. Motijn, M. Worring (Marcel) and A.W.M. Smeulders (Arnold)
January 2000