ACL2 Theorem Prover and its Applications
| Verfügbarkeit: | nicht zugänglich |
|---|---|
| Homepage(s): | |
| Volltext online seit: | (2006) |
| Volltext online bis: | (2009) |
| Verlag: | Association for Computing Machinery (ACM) |
| ZDB Nummer: | 2740601-5 |
| Fachgruppe(n): | |
| Schlagwort(e): | Konferenzschrift |
| Form: | Volltext, Online und Druckausgabe |
| Kosten: | kostenpflichtig |
| Liste der teilnehmenden Institutionen, die Volltextzugriff bieten. |
