Theorem Prover and its Applications : Proceedings of the ... International Workshop on the ACL2 Theorem Prover and its Applications

Resource type: Ressourcentyp: Zeitschrift (Online)Periodical (Online)Volumes: Bände: Show volumesZeige BändePublisher: New York, NY : Association for Computing Machinery, 2006-Description: Online-RessourceOther title:
  • ACL2
Genre/Form: DDC classification:
  • 004
Online resources: Publication dates: Erscheinungsverlauf: Nachgewiesen 6.2006 -Holdings: KIT-Bibliothek: 2006 - 2009; Fachbibliothek HKA: 2006 - 2009PPN: PPN: 771396112ZDB ID: ZDB-ID: 2740601-5
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT