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...








Computer Systeme
1989
Link zum Volltext



Mathematical structures in computer science, 2022-03, Vol.31 (8), p.898-917
2022
Link zum Volltext






Open Access
Knowledge-based proof planning
Artificial intelligence, 1999-11, Vol.115 (1), p.65-105
1999
Link zum Volltext







Aktive Filter
ThemaInformatika
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n