Sciweavers

TPHOL
2000
IEEE

TAS - A Generic Window Inference System

14 years 3 months ago
TAS - A Generic Window Inference System
Christoph Lüth, Burkhart Wolff
Added 01 Aug 2010
Updated 01 Aug 2010
Type Conference
Year 2000
Where TPHOL
Authors Christoph Lüth, Burkhart Wolff
Comments (0)