| Record ID | marc_loc_2016/BooksAll.2016.part19.utf8:5667982:1970 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part19.utf8:5667982:1970?format=raw |
LEADER: 01970cam a2200325 a 4500
001 88154447
003 DLC
005 20111220091045.0
008 880627s1988 gw a b 100 0 ger
010 $a 88154447
020 $a0387189033 (U.S.)
040 $aDLC$cDLC$dDLC
050 00 $aQ336$b.K86 1988
082 00 $a006.3/3$220
245 00 $aKünstliche Intelligenz :$btheoretische Grundlagen und Anwendungsfelder : Frühjahrsschulen, Dassel, 8.-16. März 1985 und 8.-16. März 1986 /$cTh. Christaller, H.-W. Hein, M.M. Richter (Hrsg.).
260 $aBerlin ;$aNew York :$bSpringer,$cc1988.
300 $a339 p. :$bill. ;$c25 cm.
490 1 $aInformatik-Fachberichte ;$v159.$aSubreihe Künstliche Intelligenz
500 $aPapers presented at the 3rd and 4th Frühjahrsschule Künstliche Intelligenz organized by the Fachausschuss 1.2--"Künstliche Intelligenz und Mustererkennung" of the Gesellschaft für Informatik.
504 $aIncludes bibliographies.
505 0 $aEinführung in LISP / Thomas Christaller -- PROgrammieren mit LOGik / Helmar Gust, Michael König -- Robotik und künstliche Intelligenz / Paul Levi, J. Foldenauer, Th. Löffler -- Programmverifikation / Volker Penner -- Qualitative Modelle in wissensbasierten Systemen / Frank Puppe, Hans Voss -- Kognitive Modellierung / Franz Schmalhofer, Thomas Wetter -- Automatisches Bauwesen / Christoph Walter.
650 0 $aArtificial intelligence$xData processing$xCongresses.
700 1 $aChristaller, Thomas.
700 1 $aHein, H.-W.$q(Hans-Werner)
700 1 $aRichter, Michael M.,$d1938-
710 2 $aGesellschaft für Informatik.$bFachausschuss 1.2--"Künstliche Intelligenz und Mustererkennung."
711 2 $aFrühjahrsschule Künstliche Intelligenz$n(3rd :$d1985 :$cDassel, Germany)
711 2 $aFrühjahrsschule Künstliche Intelligenz$n(4th :$d1986 :$cDassel, Germany)
830 0 $aInformatik-Fachberichte ;$v159.
830 0 $aSubreihe Künstliche Intelligenz.