> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: LF+ in Coq for "fast and loose" reasoning Beteiligte: Fabio Alessi; Alberto Ciaffaglione; Pietro Di Gianantonio; Furio Honsell; Marina Lenisa; Ivan Scagnetto Erschienen: 2019 Erschienen in: Journal of Formalized Reasoning Sprache: Englisch DOI: 10.6092/issn.1972-5787/9757 ISSN: 1972-5787 Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang