Sciweavers

CADE
1998
Springer

Combining Hilbert Style and Semantic Reasoning in a Resolution Framework

14 years 3 months ago
Combining Hilbert Style and Semantic Reasoning in a Resolution Framework
Proceedings of CADE-15, LNAI 1421, pp. 205
Hans Jürgen Ohlbach
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where CADE
Authors Hans Jürgen Ohlbach
Comments (0)