Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

CADE
1998
Springer

favoriteEmaildiscussreport

106views Logical Reasoning» more CADE 1998»

Combining Hilbert Style and Semantic Reasoning in a Resolution Framework

13 years 9 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

Real-time Traffic

CADE 1998 | Hilbert Systems | Logical Reasoning | Many Non-classical Logics | Non-classical Logics |

claim paper

Related Content

» Structured Argumentation in a Mediator for Online Dispute Resolution

» A Mechanization of Strong Kleene Logic for Partial Functions

» A Complete Axiomatization of Knowledge and Cryptography

» Certified assembly programming with embedded code pointers

» Staging transformations for multimodal web interaction management

Post Info
More Details (n/a)

Added	05 Aug 2010
Updated	05 Aug 2010
Type	Conference
Year	1998
Where	CADE
Authors	Hans Jürgen Ohlbach

Comments (0)