Karl Friedrich Böhringer;Bruce Randall Donald
-;-
Structure Discovery from Massive Spatial Data Sets Using Intelligent Simulation Tools
Computational Discovery of Scientific Knowledge
The compass that steered robotics
Logic and Program Semantics