Ihre Suche ergab 31 Treffer.
Automated Theorem Proving
Produktform: E-Buch Text Elektronisches Buch in proprietärem
96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Automatisierung von Terminierungsbeweisen
Produktform: E-Buch Text Elektronisches Buch in proprietärem
42,99 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Logische und Funktionale Programmierung
Grundlagen einer Kombination
Produktform: E-Buch Text Elektronisches Buch in proprietärem
42,99 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
42,99 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Die Wissensrepräsentationssprache OPS5
Sprachbeschreibung und Einführung in die regelorientierte Programmierung
Produktform: E-Buch Text Elektronisches Buch in proprietärem
42,99 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
LISP
Fallbeispiele mit Anwendungen in der Künstlichen Intelligenz
Produktform: E-Buch Text Elektronisches Buch in proprietärem
42,99 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
42,99 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Schließen bei unsicherem Wissen in der Künstlichen Intelligenz
Vergleich von Formalismen anhand eines Beispiels
Produktform: E-Buch Text Elektronisches Buch in proprietärem
42,99 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Neuronale Netze und Fuzzy-Systeme
Grundlagen des Konnektionismus, Neuronaler Fuzzy-Systeme und der Kopplung mit wissensbasierten Methoden
Produktform: E-Buch Text Elektronisches Buch in proprietärem
42,99 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
39,99 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage