Logo des Repositoriums
 
Zeitschriftenartikel

Deduktion: von der Theorie zur Anwendung

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Journal Article

Zusatzinformation

Datum

2010

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Informatik-Spektrum: Vol. 33, No. 5

Verlag

Springer-Verlag

Zusammenfassung

Beschreibung

Baader, Franz; Beckert, Bernhard; Nipkow, Tobias (2010): Deduktion: von der Theorie zur Anwendung. Informatik-Spektrum: Vol. 33, No. 5. Berlin Heidelberg: Springer-Verlag. PISSN: 1432-122X. pp. 444-451

Schlagwörter

Zitierform

DOI

Tags

Sammlungen

Band 33 - Heft 5 (Oktober 2010)