Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Journal of Formalized Reasoning, 2016-01, Vol.9 (1), p.201-234
2016
Link zum Volltext

Journal of applied non-classical logics, 2012-12, Vol.22 (4), p.295-317
2012
Link zum Volltext


Artificial Intelligence and Symbolic Computation, 2001, p.32-52
2001
Link zum Volltext

Information systems management, 2009-01, Vol.26 (3), p.215-230
2009
Link zum Volltext

Higher-Order Multi-Valued Resolution
Journal of applied non-classical logics, 1999-01, Vol.9 (4), p.455-477
1999
Link zum Volltext