Login / Signup

Connection-based Theorem Proving in Classical and Non-classical Logics.

Christoph KreitzJens Otten
Published in: J. Univers. Comput. Sci. (1999)
Keyphrases