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...
Open Access
Komputer kreiert Wissenschaft
Informatik-Spektrum, 2022, Vol.45 (6), p.356-365
2022
Link zum Volltext



Deduktion: Automatisierung der Logik
1, 2020
Link zum Volltext

2003rd edition, 2013
Link zum Volltext

Ai communications, 2014-01, Vol.27 (1), p.87-102
2014
Link zum Volltext

Automated Reasoning with Analytic Tableaux and Related Methods, p.3-21
Link zum Volltext


Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, p.340-355
Link zum Volltext





Automated Theorem Proving
1, 1982
Link zum Volltext

Automated Theorem Proving
1982 edition., 2013
Link zum Volltext

Artificial intelligence and law, 2004-01, Vol.12 (3), p.159-180
2004
Link zum Volltext



In Memory of Mark Stickel
Journal of automated reasoning, 2016-02, Vol.56 (2), p.95-98
2016
Link zum Volltext






Lecture notes in computer science, 2006, p.25-43
2006
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n