SODA

A Labelled Deductive System for Reasoning about Random Experiments

Bjurling, Björn (2006) A Labelled Deductive System for Reasoning about Random Experiments. Doctoral thesis, Imperial College London.

Full text not available from this repository.


Item Type:Thesis (Doctoral)
ID Code:447
Deposited By:Vicki Carleson
Deposited On:18 Jan 2007
Last Modified:18 Nov 2009 15:56

Repository Staff Only: item control page