DE Deutsch
FR Français
ES Español
TR Turkce
RU Pусский
AR العربية
CN 中国
NDS Plattdeutsch
ACL2 Theorem Prover and its Applications
| Availability: | For your location not accessible in fulltext. In part, you get access to abstracts or tables of contents |
|---|---|
| Homepage(s): | |
| Fulltext available since: | (2006) |
| Fulltext available until: | (2009) |
| Publisher: |
Association for Computing Machinery (ACM) Search publishers open access policy in SHERPA/RoMEO |
| ZDB-ID: | 2740601-5 |
| Subject(s): | |
| Tag(s): | |
| EZB-Journal-ID: | 191657 |
| Appearance: | Fulltext, online and print |
| Costs: | subject to fee |
| List of participate institutions which offer full access. |
Zur Fachübersicht
powered by EZB
Kontakt:
Bibliothekarische Auskunft
Öffnungszeiten: Mo-Fr 9-17
E-Mail:
nhfxhasg(at)fho.hav-unzohet.qr
Telefon:
+49 40/42838-2233
Telefax:
+49 40/42838-3352