Archive of formal proofs
Resource type: Ressourcentyp: Zeitschrift (Online)Periodical (Online)Language: English Volumes: Bände: Show volumesZeige BändePublisher: San Diego, CA : SourceForge, [2004]Mar 19-Description: Online-RessourceISSN:- 2150-914X
- Abweichender Titel: AFP
- 004 510
No physical items for this record