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