Buch beschaffen
Learning Search Heuristics for Automated Deduction
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…
Printexemplar erwerben
Selbstverständlich können Sie das Buch auch in Ihrer Buchhandlung vor Ort bestellen.
Bibliotheken können zudem unsere eBooks bei ProQuest beziehen.
Geschäftskunden bestellen bitte direkt beim Verlag Dr. Kovač, gern auch per E-Mail.
In den Bibliotheken
Falls Sie das Buch nicht selbst erwerben möchten, können Sie sich an Ihre Uni-Bibliothek wenden und den Erwerb des gewünschten Titels zum Kauf durch Ihre Bibliothek vorschlagen. Hinter dem obigen Button finden Sie Hilfsmittel, damit Sie schneller ans Ziel kommen.