Sitzungsende bei Inaktivität:

Vollanzeige

Druckversion Drucken Abbrechen

Automated reasoning : 6th international joint conference ; proceedings / IJCAR 2012, Manchester, UK, June 26 - 29, 2012. Bernhard Gramlich ... (ed.)

Gesucht wurde mit: 15506856, Treffer: 1

Katalogangaben
 Zitierlink
MedienartBand [Band]
Art/InhaltKonferenzschrift
Titel Automated reasoning : 6th international joint conference ; proceedings / IJCAR 2012, Manchester, UK, June 26 - 29, 2012. Bernhard Gramlich ... (ed.)
PersonGramlich, Bernhard [Herausgeber/in]
KonferenzIJCAR (6. : 2012 : Manchester)
VeröffentlichungBerlin [u.a.] : Springer, 2012
Umfang / Format XIV, 568 Seiten : graph. Darst. ; 24 cm
Anmerkungen Literaturangaben
SpracheEnglisch
LandDeutschland Berlin
ISBN978-3-642-31364-6
3-642-31364-7
NummerBest.-Nr.: 86122713 (Verlags- und Firmenbestellnummer)
ZielgruppeErwachsene
Gesamtwerk (Lecture notes in computer science ; 7364 : Lecture notes in artificial intelligence)
Schlagwortkette Automatisches Beweisverfahren ; Kongress ; Manchester <2012>
Programmierlogik ; Kongress ; Manchester <2012>
Beweistheorie ; Logik ; Kongress ; Manchester <2012>
ErläuterungenBestandserhaltungsmassnahmen: Maßnahme: Archivierung/Langzeitarchivierung gewährleistet; Rechtsgrundlage: PEBE; Institution: DE-109;
Inhaltsverzeichnis Link zum Inhaltsverzeichnis
Besitzende BibliothekenStandortkarte

Anleitungen

Je nachdem ob ein Exemplar verfügbar ist können Sie es bestellen bzw. vormerken.

Durch Anklicken der in der Trefferliste zuvor "aktivierten Merkliste" mit einem leeren Stern wird das Medium in die Merkliste aufgenommen, durch Anklicken der Merkliste mit einem gefüllten Stern wird das Medium aus der Merkliste entfernt.

Hier wird nur der eine gezeigte Titel exportiert. Wählen Sie bitte dafür das ensprechende Exportformat aus, indem Sie den Link "Exportieren" anklicken.

Weg zum Medium

Merkliste befüllen/leeren

Weitere Infos

ohne Bewertung

Exemplarangaben

BibliothekStandortSignaturBestellmöglichkeitVerfügbarkeit
ZLB: Berliner Stadtbibliothek (BStB) Magazin BStB (EG2) Inf 650 LNAI 1:7364 Standardausleihe aus dem Magazin - Magazin, bestellbar Verfügbar