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




An introduction to partial deduction
Meta-Programming in Logic, 2005, p.49-69
2005
Link zum Volltext

Open Access
Equivalence in Answer Set Programming
Lecture notes in computer science, 2002, p.57-75
2002
Link zum Volltext

Lecture notes in computer science, 2002, p.1-24
2002
Link zum Volltext


Lecture notes in computer science, 2002, p.191-215
2002
Link zum Volltext

Lecture notes in computer science, 2002, p.46-56
2002
Link zum Volltext

Lecture notes in computer science, 2002, p.129-147
2002
Link zum Volltext

Lecture notes in computer science, 2002, p.148-167
2002
Link zum Volltext




Lecture notes in computer science, 2002, p.168-190
2002
Link zum Volltext

Lecture notes in computer science, 2002, p.233-244
2002
Link zum Volltext



Belief revision: A vade-mecum
Meta-Programming in Logic, 2005, p.1-10
2005
Link zum Volltext

Meta-Programming in Logic, 2005, p.148-161
2005
Link zum Volltext

Meta-Programming in Logic, 2005, p.205-219
2005
Link zum Volltext

Model theoretic semantics for Demo
Meta-Programming in Logic, 2005, p.220-234
2005
Link zum Volltext

Meta-Programming in Logic, 2005, p.250-264
2005
Link zum Volltext

Meta-Programming in Logic, 2005, p.70-88
2005
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n