![](/statics/img/blank.png)
Archive of Formal Proofs 2011
Licentie: Gratis Bestandsgrootte: N/A
Gebruikersbeoordeling: 4.0/5 - 1 Stemmen
Een ogenblik geduld... Uw downloadlink wordt geverifieerd op schadelijke inhoud.
Je het binnen 5 seconden downloaden.
Je het binnen 5 seconden downloaden.
Over Archive of Formal Proofs
Het Archief van Formele Bewijzen is een verzameling van bewijsbibliotheken, voorbeelden en grotere scientifc-ontwikkelingen, mechanisch gecontroleerd in de stellingskundeprover Isabelle. Het is georganiseerd in de weg van een wetenschappelijk tijdschrift. Inzendingen zijn refereed.