Sciweavers

JAR
2007

Special Issue on User Interfaces in Theorem Proving: Preface

13 years 3 months ago
Special Issue on User Interfaces in Theorem Proving: Preface
David Aspinall, Christoph Lüth
Related Content
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2007
Where JAR
Authors David Aspinall, Christoph Lüth
Comments (0)