Current Trends in Automated Deduction
Autor(en):
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.
- Vollständige Referenz
- BibTeX
Giesl, J.,
(2010).
Current Trends in Automated Deduction.
KI - Künstliche Intelligenz: Vol. 24, No. 1.
Springer.
(S. 11-13).
DOI: 10.1007/s13218-010-0011-9
@article{mci/Giesl2010,
author = {Giesl, Jürgen},
title = {Current Trends in Automated Deduction},
journal = {KI - Künstliche Intelligenz},
volume = {24},
number = {1},
year = {2010},
,
pages = { 11-13 } ,
doi = { 10.1007/s13218-010-0011-9 }
}
author = {Giesl, Jürgen},
title = {Current Trends in Automated Deduction},
journal = {KI - Künstliche Intelligenz},
volume = {24},
number = {1},
year = {2010},
,
pages = { 11-13 } ,
doi = { 10.1007/s13218-010-0011-9 }
}
Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.1007/s13218-010-0011-9
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken
Mehr Information
ISSN: 1610-1987
Datum: 2010
Typ: Text/Journal Article