Sciweavers

MKM
2009
Springer

Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning

14 years 6 months ago
Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning
Jacques Calmet
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where MKM
Authors Jacques Calmet
Comments (0)