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



Human-style theorem proving using PVS
Lecture notes in computer science, 2005, p.33-48
2005
Volltextzugriff (PDF)



Conference on High Performance Networking and Computing: Proceedings of the 2004 ACM/IEEE conference on Supercomputing; 06-12 Nov. 2004, 2004, p.57-57
2004
Volltextzugriff (PDF)