Informatik

Literatur: Deduktion

Eine schlagwort­basierte Auswahl unserer Fachbücher

Literatur zum Schlagwort Deduktion
Learning Search Heuristics for Automated Deduction (Forschungsarbeit)

Learning Search Heuristics for Automated Deduction

Forschungsergebnisse zur Informatik

Viele Probleme in der Informatik, speziell im Teilgebiet der Künstlichen Intelligenz (KI), werden mit Verfahren bearbeitet, die auf Suche basieren. Zu diesen Suchproblemen zählt auch die automatische Deduktion. Probleme aus diesem Bereich gehören zu den schwierigsten Suchproblemen. Gerade hier ist es unbestritten, dass die oftmals eigentlich unintelligenten [...]

 

Eine Auswahl an Fachbüchern aus dem Verlag Dr. Kovač.