Learning Search Heuristics for Automated Deduction . (Schriftenreihe Forschungsergebnisse zur Informatik)
3 Angebote vergleichen
Bester Preis: € 65,45 (vom 01.04.2018)1
Learning Search Heuristics for Automated Deduction . (Schriftenreihe Forschungsergebnisse zur Informatik) (1997)
EN PB NW FE
ISBN: 9783860646236 bzw. 3860646230, in Englisch, 220 Seiten, Verlag Dr. Kovac, Taschenbuch, neu, Erstausgabe.
Lieferung aus: Deutschland, Gewöhnlich versandfertig in 24 Stunden, Versandkostenfrei. Tatsächliche Versandkosten können abweichen.
Von Händler/Antiquariat, verlagdrkovac.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, verlagdrkovac.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
2
| Learning Search Heuristics for Automated Deduction | Kovac | 1997
DE NW
ISBN: 9783860646236 bzw. 3860646230, in Deutsch, Kovac, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
3
Learning Search Heuristics for Automated Deduction (1997)
DE PB NW FE
ISBN: 9783860646236 bzw. 3860646230, in Deutsch, Verlag Dr. Kovac, Hamburg, Taschenbuch, neu, Erstausgabe.
Von Händler/Antiquariat, Verlag Dr. Kovac GmbH [56043471], Hamburg, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…