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)
Momigliano, Alberto
Artikel
25 years of formal proof cultures: some problems, some philosophy, bright future
Titel
LFMTP '13 : proceedings of the 2013 ACM SIGPLAN Workshop on Logical Frameworks & Meta-Languages : Theory & Practice : September 23, 2013, Boston, Massachusetts, USA
Verlag
ACM
Ort
[Place of publication not identified]
Erscheinungsjahr
2013
Es wurden folgende elektronische Volltexte gefunden