Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
Gespeichert in:
Paralleltitel | ACL2 '06 |
---|---|
1. Verfasser:in | |
Institution | Association for Computing Machinery |
Ort, Verlag, Jahr |
New York, NY
: ACM
, 2006
|
Umfang | 1 online resource (145 pages) |
ISBN | 0978849302 |
Sprache | Englisch |
Online-Zugang | https://dl.acm.org/citation.cfm?id=1217975 ACM Digital Library - Complete Collection (ZDB-15-ACM) |
Persistente URL | https://katalogplus.ub.uni-bielefeld.de/title/HT020176837 |
Bei Problemen beim Zugriff auf diese Online-Quelle beachten Sie unsere Hinweise zum Zugriff auf lizenzierte Angebote von außerhalb des Campus.