Combining logic and quantification.

Project: Research

Project Details

StatusFinished
Effective start/end date1/07/201031/08/2011