Sign-In
CartResults
Filters
Sort by
$109.99
{"Id":20359658,"Title":"Automated Theorem Proving","Authors":["Bibel, Wolfgang"],"ShortTitle":"Automated Theorem Proving","Author":"Bibel, Wolfgang","Ean":"9783528185206","Isbn":"3528185201","Publisher":"Vieweg\u002Bteubner Verlag","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1603786],"CategoryIds":[151,877,1125],"FormatId":2,"FamilyId":null,"SeriesId":513413,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":1,"PublicationDate":"1987-01-01T00:00:00","Join":null}
$59.99
{"Id":20357374,"Title":"Relative Complexities of First Order Calculi","Authors":["Eder, Elmar"],"ShortTitle":"Relative Complexities of First Order Calculi","Author":"Eder, Elmar","Ean":"9783528051228","Isbn":"3528051221","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4869044],"CategoryIds":[898],"FormatId":2,"FamilyId":null,"SeriesId":513413,"LanguageId":68,"PriceMin":59.99,"PriceMax":59.99,"Desirability":0,"PublicationDate":"1992-01-01T00:00:00","Join":null}
Schließen Bei Unsicherem Wissen in Der Künstlichen Intelligenz: Vergleich Von Formalismen Anhand Eines Beispiels
Sombé, Léa
Paperback
$59.99
{"Id":20357397,"Title":"Schlie\u00DFen Bei Unsicherem Wissen in Der K\u00FCnstlichen Intelligenz: Vergleich Von Formalismen Anhand Eines Beispiels","Authors":["Somb\u00E9, L\u00E9a"],"ShortTitle":"Schlie\u00DFen Bei Unsicherem Wissen in Der K\u00FCnstlichen Intelligenz: Vergleich\u2026","Author":"Somb\u00E9, L\u00E9a","Ean":"9783528051266","Isbn":"3528051264","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4869050],"CategoryIds":[877],"FormatId":2,"FamilyId":null,"SeriesId":513413,"LanguageId":68,"PriceMin":59.99,"PriceMax":59.99,"Desirability":0,"PublicationDate":"1992-01-01T00:00:00","Join":null}
$59.99
{"Id":20357404,"Title":"Logische Und Funktionale Programmierung: Grundlagen Einer Kombination","Authors":["Furbach, Ulrich"],"ShortTitle":"Logische Und Funktionale Programmierung: Grundlagen Einer Kombination","Author":"Furbach, Ulrich","Ean":"9783528051273","Isbn":"3528051272","Publisher":"Vieweg\u002Bteubner Verlag","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4735225],"CategoryIds":[1125],"FormatId":2,"FamilyId":null,"SeriesId":513413,"LanguageId":68,"PriceMin":59.99,"PriceMax":59.99,"Desirability":0,"PublicationDate":"1991-01-01T00:00:00","Join":null}
$83.99
{"Id":20357489,"Title":"Parallelism in Logic: Its Potential for Performance and Program Development","Authors":[],"ShortTitle":"Parallelism in Logic: Its Potential for Performance and Program Development","Author":null,"Ean":"9783528051631","Isbn":"3528051639","Publisher":"Vieweg\u002Bteubner Verlag","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[],"CategoryIds":[617,877],"FormatId":2,"FamilyId":null,"SeriesId":513413,"LanguageId":68,"PriceMin":83.99,"PriceMax":83.99,"Desirability":0,"PublicationDate":"1991-06-01T00:00:00","Join":null}
$83.99
{"Id":20357627,"Title":"Wissensbasierte Echtzeitplanung","Authors":["Dorn, J\u00FCrgen"],"ShortTitle":"Wissensbasierte Echtzeitplanung","Author":"Dorn, J\u00FCrgen","Ean":"9783528047528","Isbn":"3528047526","Publisher":"Vieweg\u002Bteubner Verlag","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12764383],"CategoryIds":[898],"FormatId":2,"FamilyId":null,"SeriesId":513413,"LanguageId":68,"PriceMin":83.99,"PriceMax":83.99,"Desirability":0,"PublicationDate":"1989-01-01T00:00:00","Join":null}
Die Wissensrepräsentationssprache Ops5: Sprachbeschreibung Und Einführung in Die Regelorientierte Programmierung
Krickhahn, Reinhard
Paperback
$59.99
{"Id":20357676,"Title":"Die Wissensrepr\u00E4sentationssprache Ops5: Sprachbeschreibung Und Einf\u00FChrung in Die Regelorientierte Programmierung","Authors":["Krickhahn, Reinhard"],"ShortTitle":"Die Wissensrepr\u00E4sentationssprache Ops5: Sprachbeschreibung Und Einf\u00FChrung\u2026","Author":"Krickhahn, Reinhard","Ean":"9783528044985","Isbn":"3528044985","Publisher":"Vieweg\u002Bteubner Verlag","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4868410],"CategoryIds":[1125],"FormatId":2,"FamilyId":null,"SeriesId":513413,"LanguageId":68,"PriceMin":59.99,"PriceMax":59.99,"Desirability":0,"PublicationDate":"1987-01-01T00:00:00","Join":null}
$59.99
{"Id":20357697,"Title":"Modulare Regelprogrammierung","Authors":["Bocionek, Siegfried"],"ShortTitle":"Modulare Regelprogrammierung","Author":"Bocionek, Siegfried","Ean":"9783528047702","Isbn":"3528047704","Publisher":"Vieweg\u002Bteubner Verlag","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4868834],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":null,"SeriesId":513413,"LanguageId":68,"PriceMin":59.99,"PriceMax":59.99,"Desirability":0,"PublicationDate":"1990-01-01T00:00:00","Join":null}
$59.99
{"Id":20357709,"Title":"Automatisierung Von Terminierungsbeweisen","Authors":["Walther, Christoph"],"ShortTitle":"Automatisierung Von Terminierungsbeweisen","Author":"Walther, Christoph","Ean":"9783528047719","Isbn":"3528047712","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[808951],"CategoryIds":[877],"FormatId":2,"FamilyId":null,"SeriesId":513413,"LanguageId":68,"PriceMin":59.99,"PriceMax":59.99,"Desirability":0,"PublicationDate":"1991-01-01T00:00:00","Join":null}
$59.99
{"Id":20358020,"Title":"LISP: Fallbeispiele Mit Anwendungen in Der K\u00FCnstlichen Intelligenz","Authors":["Esser, R\u00FCdiger"],"ShortTitle":"LISP: Fallbeispiele Mit Anwendungen in Der K\u00FCnstlichen Intelligenz","Author":"Esser, R\u00FCdiger","Ean":"9783528045852","Isbn":"352804585X","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4868536],"CategoryIds":[617,877],"FormatId":2,"FamilyId":null,"SeriesId":513413,"LanguageId":68,"PriceMin":59.99,"PriceMax":59.99,"Desirability":0,"PublicationDate":"1989-01-01T00:00:00","Join":null}
Neuronale Netze Und Fuzzy-Systeme: Grundlagen Des Konnektionismus, Neuronaler Fuzzy-Systeme Und Der Kopplung Mit Wissensbasierten Methoden
Nauck, Detlef D.
Paperback
$69.99
{"Id":20358060,"Title":"Neuronale Netze Und Fuzzy-Systeme: Grundlagen Des Konnektionismus, Neuronaler Fuzzy-Systeme Und Der Kopplung Mit Wissensbasierten Methoden","Authors":["Nauck, Detlef D."],"ShortTitle":"Neuronale Netze Und Fuzzy-Systeme: Grundlagen Des Konnektionismus,\u2026","Author":"Nauck, Detlef D.","Ean":"9783528052652","Isbn":"3528052651","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4869199],"CategoryIds":[877,892],"FormatId":2,"FamilyId":null,"SeriesId":513413,"LanguageId":68,"PriceMin":69.99,"PriceMax":69.99,"Desirability":0,"PublicationDate":"1994-01-01T00:00:00","Join":null}
$59.99
{"Id":20358093,"Title":"Objektorientierte Und Wissensbasierte Bildverarbeitung","Authors":["Paulus, Dietrich"],"ShortTitle":"Objektorientierte Und Wissensbasierte Bildverarbeitung","Author":"Paulus, Dietrich","Ean":"9783528052706","Isbn":"3528052708","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4865038],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":null,"SeriesId":513413,"LanguageId":68,"PriceMin":59.99,"PriceMax":59.99,"Desirability":0,"PublicationDate":"1992-01-01T00:00:00","Join":null}
$69.99
{"Id":20358207,"Title":"Logische Grundlagen Der K\u00FCnstlichen Intelligenz","Authors":["Tarnowski, Michael","Nilsson, Nils J."],"ShortTitle":"Logische Grundlagen Der K\u00FCnstlichen Intelligenz","Author":"Tarnowski, Michael","Ean":"9783528046385","Isbn":"3528046384","Publisher":"Vieweg\u002Bteubner Verlag","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4868624,774932],"CategoryIds":[617],"FormatId":2,"FamilyId":null,"SeriesId":513413,"LanguageId":68,"PriceMin":69.99,"PriceMax":69.99,"Desirability":0,"PublicationDate":"1989-01-01T00:00:00","Join":null}
$59.99
{"Id":20358658,"Title":"PROLOG: Eine Methodische Einf\u00FChrung","Authors":["Cordes, Paul","Schmitz, Paul"],"ShortTitle":"PROLOG: Eine Methodische Einf\u00FChrung","Author":"Cordes, Paul","Ean":"9783528145842","Isbn":"3528145846","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4869232,1175307],"CategoryIds":[877],"FormatId":2,"FamilyId":null,"SeriesId":513413,"LanguageId":68,"PriceMin":59.99,"PriceMax":59.99,"Desirability":0,"PublicationDate":"1990-01-01T00:00:00","Join":null}
$69.99
{"Id":20360234,"Title":"PROLOG: Eine Methodische Einf\u00FChrung","Authors":["Cordes, Ralf","Schmitz, Paul"],"ShortTitle":"PROLOG: Eine Methodische Einf\u00FChrung","Author":"Cordes, Ralf","Ean":"9783528245849","Isbn":"3528245840","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4869298,1175307],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":null,"SeriesId":513413,"LanguageId":68,"PriceMin":69.99,"PriceMax":69.99,"Desirability":0,"PublicationDate":"1992-01-01T00:00:00","Join":null}