gelernter d (5 Ergebnisse)

Paperback. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 892; Previous owner's sticker on the front cover. Mild unobtrusive foxing/marking to inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Used.

Hardcover. Zustand: Very Good. Zustand des Schutzumschlags: Very Good. Postage reduced within the UK.

Zustand: New. The subject of the book is the pharmacology of ethanol. It brings together the work of both basic and clinical investigators in the pharmacology of alcohol and alcohol abuse. The major focus is on the integration of findings from different levels of analysi.

ORIGINAL-RADIERUNG (in dunkler Holzleiste mit goldener Innenleiste unter Glas gerahmt, gesamt 31,5 x 34,8 cm), am Unterrand rechts mit Bleistift eigenhändig signiert ZIELKE MOTIV : Goethes Haus in Weimar, mit zahlreichen Besuchern davor. Darunter der gedruckte Spruch : Warum stehen Sie davor ? Ist nicht Thüre da und Thor ? Kämen Sie getrost herein, würden wohl empfangen seyn. GOTHE 1828.

Gelernter, Herman (1929-2015); J. R. Hansen; Donald W. Loveland (1934- ). Empirical explorations of the geometry theorem machine. In Proceedings of the Western Joint Computer Conference 17 (1960): 143-149. Whole volume. 279 x 217 mm. Original printed wrappers, front wrapper scuffed, lower spine reinforced with clear tape, library markings effaced with ink. Good to very good. First Edition. Gelernter's geometry theorem machine, a software program he developed at IBM, was "the first advanced artificial intelligence program, and the third AI program ever. It is a logical AI system that can prove theorems in planar geometry about parallel lines, congruence, and equality and inequality of segments and angles" (Wikipedia article on Gelernter). The program "makes use of heuristic methods where they are most effective, but it also applies more powerful, more direct symbol manipulation processes where these are useful. Of special interest in the geometry proof program is the use of the diagram as a heuristic device in guiding search of the subproblem structure" (Feigenbaum and Feldman, p. 108). Feigenbaum and Feldman, Computers and Thought, 153-163 (reprinting this paper). .