Sciweavers

55
Voted
AISC
2008
Springer

Automating Signature Evolution in Logical Theories

14 years 10 months ago
Automating Signature Evolution in Logical Theories
Alan Bundy
Added 08 Nov 2010
Updated 08 Nov 2010
Type Conference
Year 2008
Where AISC
Authors Alan Bundy
Comments (0)