TYPES (3 : 2003 : Turin) TYPES=Computer-Assisted Reasoning based on Type Theory Bezüge im Wissensnetz Veranstaltungsort (1) GND Turin