Logo des Repositoriums
 
Zeitschriftenartikel

Special Issue on Automated Deduction

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Journal Article

Zusatzinformation

Datum

2010

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

KI - Künstliche Intelligenz: Vol. 24, No. 1

Verlag

Springer

Zusammenfassung

Beschreibung

Giesl, Jürgen (2010): Special Issue on Automated Deduction. KI - Künstliche Intelligenz: Vol. 24, No. 1. Springer. PISSN: 1610-1987. pp. 7-9

Schlagwörter

Zitierform

DOI

Tags

Sammlungen

Künstliche Intelligenz 24(1) - März 2010