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








Automating Theorem Proving with SMT
Interactive Theorem Proving, p.2-16
Volltextzugriff (PDF)



Lecture notes in computer science, 2006, p.364-387
2006
Volltextzugriff (PDF)

Proceedings of the 1988 Academy of Marketing Science (AMS) Annual Conference, p.67-71
Volltextzugriff (PDF)

JAMA : the journal of the American Medical Association, 1973-06, Vol.224 (12), p.1628
1973
Volltextzugriff (PDF)






The American journal of clinical nutrition, 1994-07, Vol.60 (1), p.136-141
1994
Volltextzugriff (PDF)



Open Access
Deadlock-Free Channels and Locks
Programming Languages and Systems, p.407-426
Volltextzugriff (PDF)

Journal of neuropathology and experimental neurology, 1987-05, Vol.46 (3), p.339
1987
Volltextzugriff (PDF)

Journal of neuropathology and experimental neurology, 1987-05, Vol.46 (3), p.339-339
1987
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n