Completeness, Confluence and Related Properties of Clause Graphresolution
Seiten
1994
Morgan Kaufmann Publishers In (Verlag)
978-1-55860-195-6 (ISBN)
Morgan Kaufmann Publishers In (Verlag)
978-1-55860-195-6 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
Erscheint lt. Verlag | 31.12.1994 |
---|---|
Zusatzinfo | Illustrations |
Verlagsort | San Francisco |
Sprache | englisch |
Maße | 167 x 242 mm |
Gewicht | 304 g |
Themenwelt | Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik |
Mathematik / Informatik ► Mathematik ► Graphentheorie | |
ISBN-10 | 1-55860-195-3 / 1558601953 |
ISBN-13 | 978-1-55860-195-6 / 9781558601956 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was sie kann & was uns erwartet
Buch | Softcover (2023)
C.H.Beck (Verlag)
CHF 25,20
von absurd bis tödlich: Die Tücken der künstlichen Intelligenz
Buch | Softcover (2023)
Heyne (Verlag)
CHF 27,95
dem Menschen überlegen – wie KI uns rettet und bedroht
Buch | Hardcover (2023)
Droemer (Verlag)
CHF 31,90