Eighth International Workshop on the Acl2 Theorem Prover and Its Applications

Weitere Versionen (3)
Gespeichert in:
Weitere Titel:
ACL2 '09
1. Verfasser:
Ray, Sandip
Weitere Verfasser:
No Author (Content Provider)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
[Place of publication not identified] Association for Computing Machinery 2009
Umfang:
1 online resource (144 p.;)
Anmerkungen:
Bibliographic Level Mode of Issuance: Monograph
Anmerkungen:
English
Schlagworte:
Information Technology > Computer Science (Hardware & Networks)
Bezugswerke: