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...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Contracts as Pairs of Projections
Functional and Logic Programming, 2006, Vol.3945, p.226-241
2006
Volltextzugriff (PDF)



Functional and Logic Programming, 2006, Vol.3945, p.192-207
2006
Volltextzugriff (PDF)

Functional and Logic Programming, 2006, Vol.3945, p.163-176
2006
Volltextzugriff (PDF)

Functional and Logic Programming, 2006, Vol.3945, p.47-64
2006
Volltextzugriff (PDF)

Functional and Logic Programming, 2006, Vol.3945, p.65-80
2006
Volltextzugriff (PDF)

Functional and Logic Programming, 2006, Vol.3945, p.81-96
2006
Volltextzugriff (PDF)


Functional and Logic Programming, 2006, Vol.3945, p.114-129
2006
Volltextzugriff (PDF)


WASH Server Pages
Functional and Logic Programming, 2006, Vol.3945, p.277-293
2006
Volltextzugriff (PDF)


Functional and Logic Programming, 2006, Vol.3945, p.259-276
2006
Volltextzugriff (PDF)

Functional and Logic Programming, 2006, Vol.3945, p.146-162
2006
Volltextzugriff (PDF)

Functional and Logic Programming, 2006, Vol.3945, p.97-113
2006
Volltextzugriff (PDF)


10th International Conference on Automated Deduction, 2005, p.588-602
2005
Volltextzugriff (PDF)





Soft computing (Berlin, Germany), 2001-02, Vol.5 (1), p.25-38
2001
Volltextzugriff (PDF)

Theoretical Aspects of Computer Software, 2005, p.387-419
2005
Volltextzugriff (PDF)

Aktive Filter
ThemaLife Sciences & Biomedicine
ThemaSoftware
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n