Sciweavers

CADE
1999
Springer

System Description: inka 5.0 - A Logic Voyager

14 years 4 months ago
System Description: inka 5.0 - A Logic Voyager
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel
Added 03 Aug 2010
Updated 03 Aug 2010
Type Conference
Year 1999
Where CADE
Authors Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
Comments (0)