Logo des Repositoriums
 
Zeitschriftenartikel

Current Trends in 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

Automated deduction is one of the key areas in artificial intelligence. In this short article we give an overview on some of the main current research topics in automated deduction.

Beschreibung

Giesl, Jürgen (2010): Current Trends in Automated Deduction. KI - Künstliche Intelligenz: Vol. 24, No. 1. Springer. PISSN: 1610-1987. pp. 11-13

Schlagwörter

Zitierform

DOI

Tags

Sammlungen

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