> Detailanzeige

Bjørner, Nikolaj [HerausgeberIn]; Sofronie-Stokkermans, Viorica [Sonstige Person, Familie und Körperschaft] ; CADE 23 2011 Breslau International Conference on Automated Deduction

Automated deduction - CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31- August 5, 2011 ; proceedings

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-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31- August 5, 2011 ; proceedings
Beteiligte: Bjørner, Nikolaj [Hrsg.]; Sofronie-Stokkermans, Viorica [Sonstige Person, Familie und Körperschaft]
Veranstaltung: CADE
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2011
Erschienen in: Lecture notes in computer science ; 6803
Umfang: XIII, 508 S.; graph. Darst
Sprache: Englisch
ISBN: 3642224377; 9783642224379
Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 80074061
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Automatisches Beweisverfahren
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Lecture notes in computer science