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
Buch | Softcover (2024)
REDLINE (Verlag)
20,00 €
Eine kurze Geschichte der Informationsnetzwerke von der Steinzeit bis …
Buch | Hardcover (2024)
Penguin (Verlag)
28,00 €
