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...
Link-Resolver
Autor(en)
Alessi, Fabio
Artikel
LF in Coq for "fast and loose" reasoning
Titel
Journal of formalized reasoning.
Verlag
Centro Inter-Bibliotecario
Ort
Bologna, Italy :
Erscheinungsjahr
2008
Es wurden folgende elektronische Volltexte gefunden