Direkt zum Inhalt

Zeitschriften Datenbank

Inhalt

Neue Suche

Theorem Prover and its Applications : Proceedings of the ... International Workshop on the ACL2 Theorem Prover and its Applications

New York, NY : Association for Computing Machinery Nachgewiesen 6.2006 -

Diesen Titel auf die Merkliste setzen
Optionen
ExportierenMARC21xmlJSON-LDTurtleRDF/XMLFeedback
Bestellen
Mehr Titelinformationen
ZDB-ID

2740601-5  

Titel

Theorem Prover and its Applications : Proceedings of the ... International Workshop on the ACL2 Theorem Prover and its Applications

Erschienen

New York, NY : Association for Computing Machinery

Erscheinungsverlauf

Nachgewiesen 6.2006 -

Anmerkungen

Online-Ressource

Standardnummern

OCLC-Nr.: 862124258

URL

http://dl.acm.org/event.cfm?id=RE487&tab...  [Verlag] 

http://www.bibliothek.uni-regensburg.de/...  [EZB] 

Sacherschließung

DDC-Sachgruppen der ZDB: 004 Informatik 

Erscheinungsform

Zeitschrift

Veröffentlichungsform

Kongressbericht

Medientyp

Online-Ausgabe

IDN

1043733833

Letzte Änderung

01-12-17

SchließenxKostenpflichtige Dokumentlieferdienste: Lieferung von Aufsatzkopien und Druckausgaben zur Ausleihe
Bitte beachten Sie: Die ZDB bietet lediglich den Link zum Bestellsystem und übernimmt keinerlei Gewähr für eine erfolgreiche Bestellung. Richten Sie Fragen bitte ausschließlich an die Auskunft Ihrer Heimatbibliothek. Bitte beachten Sie die Bedingungen der einzelnen Anbieter.

Bestand filtern

Bestand filtern
Bestand filtern

Erscheinungsjahr

Fernleihregion

Ort der Bibliothek

Titel exportieren
Schließen x
Vorschau
Sortierung
Alle Bestände anzeigen
Bamberg UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-473]
Bestand
Bestand
2006 - 2009
Fernleihe
ja, nur Papierkopie (nur Inland)
URL
https://ezb.ur.de/detail.phtml?bibid=UBB... [EZB Link] 
https://ezb.ur.de/ReadMe?bibid=UBB&owner... [Readme] 
https://ezb.ur.de/ReadMe?bibid=UBB&owner... [Readme] 
https://dl.acm.org/event.cfm?id=RE487&ta... [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Coburg HS
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-858]
Bestand
Bestand
2006 - 2009
URL
https://ezb.ur.de/detail.phtml?bibid=FHB... [EZB Link] 
https://dl.acm.org/event.cfm?id=RE487&ta... [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Hamburg TUHH
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HAM, DE-830]
Bestand
Bestand
lizenziert: 2006 - 2009
Fernleihe
ja, nur Papierkopie (nur Inland)
URL
http://www.bibliothek.uni-regensburg.de/... 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Karlsruhe KIT-B./FB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAW, DE-90-4]
Bestand
Bestand
- 2009
URL
https://ezb.ur.de/detail.phtml?bibid=FBH... [EZB Link] 
https://ezb.ur.de/ReadMe?bibid=FBHKA&own... [Readme] 
https://ezb.ur.de/ReadMe?bibid=FBHKA&own... [Readme] 
http://dl.acm.org/event.cfm?id=RE487&tab... [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Karlsruhe KIT-Bibliothek
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAW, DE-90]
Bestand
Bestand
2006 - 2009
URL
https://ezb.ur.de/detail.phtml?bibid=KIT... [EZB Link] 
https://ezb.ur.de/ReadMe?bibid=KIT&owner... [Readme] 
https://ezb.ur.de/ReadMe?bibid=KIT&owner... [Readme] 
https://dl.acm.org/event.cfm?id=RE487&ta... [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Magdeburg Med. ZB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[SAA, DE-Ma14]
Bestand
Bestand
lizenziert: 2006 - 2009
Fernleihe
ja, nur Papierkopie
URL
http://www.bibliothek.uni-regensburg.de/... 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Magdeburg UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[SAA, DE-Ma9]
Bestand
Bestand
lizenziert: 2006 - 2009
Fernleihe
ja, nur Papierkopie
URL
http://www.bibliothek.uni-regensburg.de/... 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Mannheim UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAW, DE-180]
Bestand
Bestand
2006 - 2009
Fernleihe
ja, nur Papierkopie (nur Inland)
URL
https://ezb.ur.de/detail.phtml?bibid=UBM... [EZB Link] 
https://ezb.ur.de/ReadMe?bibid=UBMAN&own... [Readme] 
https://ezb.ur.de/ReadMe?bibid=UBMAN&own... [Readme] 
https://dl.acm.org/event.cfm?id=RE487&ta... [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
München UBTU
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-91]
Bestand
Bestand
2006 - 2009
Fernleihe
ja, nur Papierkopie (nur Inland)
URL
https://ezb.ur.de/detail.phtml?bibid=TUM... [EZB Link] 
https://ezb.ur.de/ReadMe?bibid=TUM&owner... [Readme] 
https://ezb.ur.de/ReadMe?bibid=TUM&owner... [Readme] 
https://dl.acm.org/event.cfm?id=RE487&ta... [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Neubiberg UniBundeswehr
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-706]
Bestand
Bestand
2006 - 2009
Fernleihe
ja, nur Papierkopie (nur Inland)
URL
https://ezb.ur.de/detail.phtml?bibid=UBW... [EZB Link] 
https://dl.acm.org/event.cfm?id=RE487&ta... [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Regensburg UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-355]
Bestand
Bestand
2006 - 2009
Fernleihe
ja, nur Papierkopie
URL
https://ezb.ur.de/detail.phtml?bibid=UBR... [EZB Link] 
https://ezb.ur.de/ReadMe?bibid=UBR&owner... [Readme] 
https://ezb.ur.de/ReadMe?bibid=UBR&owner... [Readme] 
https://dl.acm.org/event.cfm?id=RE487&ta... [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Weimar UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[THU, DE-Wim2]
Bestand
Bestand
lizenziert: 2006 - 2009
URL
http://www.bibliothek.uni-regensburg.de/... 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig