Sciweavers

LICS
2003
IEEE

Abstract Saturation-Based Inference

14 years 5 months ago
Abstract Saturation-Based Inference
Nachum Dershowitz, Claude Kirchner
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where LICS
Authors Nachum Dershowitz, Claude Kirchner
Comments (0)