Sciweavers

124

Voted

CADE
1998
Springer

106views Logical Reasoning» more CADE 1998»

Combining Hilbert Style and Semantic Reasoning in a Resolution Framework

15 years 7 months ago

Combining Hilbert Style and Semantic Reasoning in a Resolution Framework

Download www.pms.ifi.lmu.de

Proceedings of CADE-15, LNAI 1421, pp. 205

Hans Jürgen Ohlbach

claim paper

Read More »