Invited Speaker at GeoVoCamp Dayton 2012

Description: 

Presentation of the publication A Logical Geo-Pattern for Quantifying over Types.

Date: 

05/2012

User: 

Projects: