> Detailanzeige

Baader, Franz [Herausgeber:in] ; CADE International Conference on Automated Deduction 19 2003 Miami Beach, Fla, CADE International Conference on Automated Deduction 19 2003 Miami Beach, Fla

Automated deduction

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Als RIS exportieren Als BibTeX exportieren Als EndNote exportieren

Schließen

Merkliste

Medientyp: Buch; Konferenzbericht
Titel: Automated deduction : CADE-19, 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 - August 2, 2003 ; proceedings
Beteiligte: Baader, Franz [Herausgeber:in]
Veranstaltung: CADE CADE
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2003
Erschienen in: Lecture notes in computer science ; 2741
Umfang: XII, 502 S; graph. Darst
Sprache: Deutsch; Englisch
ISBN: 3540405593
RVK-Notation: SS 2003 : Veranstaltungsjahr 2003
SS 4800 : Lecture notes in computer science
Schlagwörter: Automatisches Beweisverfahren
Entstehung:
Anmerkungen: Includes bibliographical references
Weitere Bestandsnachweise
0 : Lecture notes in computer science

Exemplare

(0)

Bereichsbibliothek DrePunct – Magazin

Signatur: R2016 8 6044
Barcode: 30811779

Status: Ausleihbar, bitte bestellen

> Bestellen möglich - bitte anmelden

Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Bereichsbibliothek DrePunct – Magazin