Normale Ansicht MARC-Ansicht ISBD

Archive of formal proofs

Resource type: Ressourcentyp: Zeitschrift (Online)Periodika (Online)Sprache: Englisch Volumes: Bände: Show volumesZeige BändeVerlag: San Diego, CA : SourceForge, [2004]Mar 19-Beschreibung: Online-RessourceISSN:
  • 2150-914X
Weitere Titel:
  • Abweichender Titel: AFP
Genre/Form: DDC-Klassifikation:
  • 004 510
Online-Ressourcen: Publication dates: Erscheinungsverlauf: 2004-Bestand: KIT-Bibliothek: 2004 -PPN: PPN: 1919896953ZDB ID: ZDB-ID: 3210004-8
Dieser Titel hat keine Exemplare