Sciweavers

AISC
2008
Springer

Automating Signature Evolution in Logical Theories

14 years 17 days 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)