DE Deutsch
EN English
FR Français
TR Turkce
RU Pусский
AR العربية
CN 中国
NDS Plattdeutsch
ACL2 Theorem Prover and its Applications
| Availability: | Für Ihren Standort nicht freigeschaltet. Zum Teil bekommen Sie Zugriff auf Abstracts, Inhaltsverzeichnisse oder bei hybriden Zeitschriften auch auf einzelne enthaltene Open-Access-Artikel |
|---|---|
| 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: | Volltext, Online und Druckausgabe |
| Costs: | kostenpflichtig |
| 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