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
Other title:
  • Abweichender Titel: AFP
Genre/Form: DDC classification:
  • 004 510
Online resources: Publication dates: Erscheinungsverlauf: 2004-Holdings: KIT-Bibliothek: 2004 -PPN: PPN: 1919896953ZDB ID: ZDB-ID: 3210004-8
No physical items for this record