Third International Workshop on Proof Exchange for Theorem Proving (3. : 2013 : Lake Placid, NY) Bezüge im Wissensnetz Veranstaltungsort (1) GND Lake Placid, NY Homepage (1) GND pxtp13