Cantitate/Preț
Produs
Total produse
Vezi coșul
Künstliche Intelligenz: Theoretische Grundlagen und Anwendungsfelder Frühjahrsschulen, Dassel, 8.–16. März 1985 und 8.–16.März 1986 de Thomas Christaller

Künstliche Intelligenz: Theoretische Grundlagen und Anwendungsfelder Frühjahrsschulen, Dassel, 8.–16. März 1985 und 8.–16.März 1986: Informatik-Fachberichte, cartea 159

Editat de Thomas Christaller, Hans-Werner Hein, Michael M. Richter
de Limba Germană Paperback – 9 mar 1988
Die deutsche Frühjahrsschule für Künstliche Intelligenz, jährlich veranstaltet von der Fachgruppe 1.2 "Künstliche Intelligenz und Mustererkennung" der Gesellschaft für Informatik, ist in den letzten Jahren zu einem festen Begriff geworden. Dieses Buch ist der dritte Band von Kursausarbeitungen vergangener Frühjahrsschulen, hier aus den Jahren 1985 und 1986. Es vergrößert die thematische Vielfalt des bereits Verfügbaren um neuartige Einführungen in LISP und PROLOG, sowie ausführliche Beiträge über Robotik, Programmverifikation, Qualitative Modelle, Kognitive Modelle und Automatisches Beweisen.
Citește tot Restrânge

Din seria Informatik-Fachberichte

Preț: 35874 lei

Preț vechi: 44843 lei
-20% Nou

Puncte Express: 538
Preț estimativ în valută:
6866€ • 7132$ • 5703£

Carte tipărită la comandă

Livrare economică 03-17 februarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540189039
ISBN-10: 3540189033
Pagini: 352
Ilustrații: VII, 341 S.
Dimensiuni: 170 x 244 x 18 mm
Greutate: 0.56 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Informatik-Fachberichte, Subreihe Künstliche Intelligenz

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Einführung in LISP.- PROLOG: PROgrammieren mit LOGik Eine Einführung.- Robotik und Kunstliche Intelligenz.- Programmverifikation.- Qualitative Modelle in Wissensbasierten Systemen.- Kognitive Modellierung: Menschliche Wissensrepräsentationen und Verarbeitungsstrategien.- Automatisches Beweisen.