Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/07/2010 → 31/08/2011 |
Logical properties of probablistic satisfiability
- Gabbay, Dov (Primary Investigator)
Project: Research
Project: Research
| Status | Finished |
|---|---|
| Effective start/end date | 1/07/2010 → 31/08/2011 |