Stoyan herbert (46 Ergebnisse)

Softcover Sehr gut erhalten.

Zustand: New. In English.

Zustand: Gut. Formateinband: Taschenbuch XI, 358 S. (24 cm) 1. Aufl.; Gut und sauber erhalten. Sprache: Deutsch Gewicht in Gramm: 750 [Stichwörter: Programmiersprachen].

358 S., broschiert ; mit 29 illustrationen, Literaturverzeichnis S. 346 - 350 ; 25 cm ; guter Zustand, geringe Gebrauchsspuren, keine Mängel .

Zustand: New.

Paperback. Zustand: Brand New. 160 pages. German language. 9.61x6.69x0.38 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Dieses Buch enthält die schriftlichen Ausarbeitungen von Vorträgen, die am 9. Oktober 1986 auf einem Workshop über Reason Maintenance gehalten worden sind. Der Begriff Begründungsverwaltung als Übersetzung von Reason Maintenance soll die Gleichzeitigkeit der Aspekte der Speicherung und Aufbewahrung der Begründungen und der Erhaltung der Gültigkeit von Aussagen auf Grund der gültigen Begründungen ausdrücken. Reason Maintenance ist eine Fortführung und Verallgemeinerung von Truth Maintenance. Truth-Maintenance-Systeme sind Programmsysteme, die Speicher von Aussagen realisieren, die weitgehend nur auf aussagenlogischer Ebene formalisiert sind. Sie verwalten Aussagenmengen und ihre Bewertungen. Annahmen und einfache Konsequenzen aus ihnen werden in einer Weise aufbewahrt, daß eine widerspruchsfreie Aussagenmenge zu jedem konkreten Zeitpunkt erkennbar ist. Die Technik, mit der dieses Ziel erreicht wird, besteht in der Repräsentation der Beziehungen zwischen den Aussagen und in der Aufbewahrung der Prämissen, Implikationen und Schlußregeln, die zur Ableitung einer bestimmten Aussage verwendet worden sind. Der Zweck dieser Systeme ist demnach Konsistenzerhaltung durch Begründungsverwaltung. Die vorliegenden Arbeiten repräsentieren den deutschen Wissensstand auf diesem Teilgebiet der Künstlichen Intelligenz unter Betonung des Ansatzes von de Kleer. Damit führt dieser Band den Leser an wesentliche aktuelle Forschungsergebnisse heran.…

Zustand: very good. Berlin & New York : Springer, c1984. Paperback. 365 pp. 25 cm. (Informatik-Fachberichte, 91). - Was ist das Wesen der Compilierung? Ershov hat 1977 einen Vortrag /24/ gehalten mit dem Titel "On the essence of compilation". Darin führt er seine Idee aus, daß Compilation ein spezieller Fall von sog. "mixed computation" sei, welche sich kurz so charakterisieren läßt, daß alles was konkret ausrechenbar ist, ausgerechnet wird, und alles was nicht ausgerechnet werden kann, stehen bleibt. Ershovs Versuch hat keine Vorgänger, obwohl verschiedene Compilermodelle entwickelt wurden. Interpretieren wir in die se Modelle (teilweise unzulässig) Erklärungsversuche für den Vorgang der Compilation - daß das Resultat äquivalenter aus führbarer Maschinencode ist, nehmen wir als gemeinsame An sicht an - dann kommen wir grob zu folgenden Standpunkten: 1. Compilation ist ein nicht weiter erklärbarer Vorgang, der stattfindet durch Automaten (im Sinne der Automaten theorie), die in geeigneter Weise Zeichenketten akzeptieren bzw. generieren. Die Automaten hängen in gewisser Weise von der Quell sprache ab (man kann den Akzeptor aus einer guten syntak tischen Beschreibung erzeugen) bzw. werden vom Compiler konstrukteur auf Grund seiner Erfahrung entwickelt. Condition : very good copy. ISBN 9783540138952. Keywords : COMPUTER STUDIES, Evaporation (Meteorology).…

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

*kart. Zustand: Gut. 1. Aufl. X, 471 S. : graph. Darst. - - gutes Exemplar mit wenigen Lese-Spuren, Seiten alters- bzw. papierbedingt leicht gedunkelt (siehe auch mein Foto), unkenntlich gemachter Namensaufkleber (siehe auch mein Foto) [sw.] --- bitte beachten Sie auch meine weiteren Angebote an Büchern aus der Reihe "Informatik Fachberichte" erschienen bei Springer si Sprache: Deutsch Gewicht in Gramm: 824.…

Softcover. Zustand: Gut. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 3540164510 Sprache: Deutsch Gewicht in Gramm: 550.

Paperback. Zustand: Brand New. 359 pages. German language. 9.37x6.46x0.87 inches. In Stock.

Paperback. Zustand: Brand New. 372 pages. German language. 9.45x6.46x0.87 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 157 pages. German language. 9.50x6.40x1.30 inches. In Stock.

Softcover. Zustand: gut. 1986. LISP In deutscher Sprache. pages.

Paperback. Zustand: Brand New. 445 pages. German language. 9.61x6.69x1.01 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Das vorliegende Buch ist der 2. Teil einer Einführung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -implementierung und -benutzung als neuartige einheitliche Sichtweise. Die Grundidee ist, daß es zu jedem Problem ein angepaßtes Verarbeitungsmodell (eine abstrakte Maschine) gibt, das mit Hilfe einer zugeordneten Programmiersprache operabel gemacht werden kann. Programmiersprachen können jedoch auch uminterpretiert werden, indem ihnen konzeptionell ein neues Verarbeitungsmodell zugrunde gelegt wird. Diese Ausdrucksvielfalt führt zu verschiedenen 'Programmierstilen'. Um den angehenden KI-Programmierer mit KI-Programmiersprachen (Wissensrepräsentationsformalismen) und ihrer Implementierung vertraut zu machen, wird eine Reihe etablierter oder zeitweise wichtiger Sprachen vorgestellt. Das Besondere an diesem Sprachspektrum ist die Vielfalt der Verarbeitungsmodelle, auf denen die Sprachen beruhen, und die Unterschiedlichkeit der Programmierstile, denen der Programmierer folgen kann. Im ersten Band werden Funktions-, Muster-, Operator- und Logik-orientierte Formen der Programmierung behandelt und an einem durchgehenden Problembeispiel vorgestellt. Im vorliegenden zweiten Band stehen Relations-, Regel-, Plan-, Anweisungs- und Objekt-orientierte Formen sowie die ATN-Programmierung (Augmented Transition Networks) im Vordergrund.…

Paperback. Zustand: Brand New. 482 pages. German language. 9.61x6.69x0.97 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Der vorliegende Band enth{lt die wesentlichen Vortr{ge einesSymposiums mit interdisziplin{rem Charakter an der THDarmstadt vom Juli 1989. Er dokumentiert den Forschungsstandim Bereich Erkl{rung und den wissenschaftlichen Austauschzwischen Informatikern und Philosophen.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Das vorliegende Buch ist eine Einführung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -implementierung und -benutzung als neuartige einheitliche Sichtweise. Die Grundidee ist, daß jedem Problem ein angepaßtes Verarbeitungsmodell (eine abstrakte Maschine) entspricht, das gefunden und mit Hilfe einer zugeordneten Programmiersprache operabel gemacht werden kann. Programmiersprachen können jedoch auch uminterpretiert werden, indem ihnen konzeptionell ein neues Verarbeitungsmodell zugrundegelegt wird. Diese Ausdrucksvielfalt führt zu verschiedenen 'Programmierstilen'. Um den angehenden KI-Programmierer zu befähigen, mit KI-Programmiersprachen (Wissensrepräsentationsformalismen) umzugehen, sie zu verstehen und zu implementieren, wird eine Reihe von etablierten bzw. zeitweise wichtigen Sprachen dargestellt. Das Besondere an diesem Sprachspektrum ist die Vielfalt der Verarbeitungsmodelle, auf denen die Sprachen beruhen, und die Unterschiedlichkeit der Programmierstile, denen der Programmierer folgen kann. Im vorliegenden 1. Band werden Funktions-, Muster-, Operator- und Logik-orientierte Formen der Programmierung behandelt und an einem durchgehenden Problembeispiel vorgestellt. Im 2. Band werden moderne Konzepte und Methoden im Vordergrund stehen.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Das vorliegende Buch ging aus einer Vorlesung hervor, die wir gemeinsam im Sommersemester 1982 an der Universität Erlangen-Nürnberg gehalten haben. Wesentliche Anregungen verdanken die Autoren den Manuskripten der Vorle sung 'Structure und Interpretation of Computer Programs' von Abelson, Fano und Sussman (1981, 1982, 1983 als MIT-AI-TR-735 veröffentlicht) am Massachusetts Institute ofTechnology, sowie den Lehrbüchern 'LISP' von Win ston und Horn (1981) und 'Artificial Intelligence Programming' von Charniak, Riesbeck und McDermott (1980) und dem Vorlesungsmanuskript 'LISP - Pro gramming and Proving' von McCarthy und Talcott (1980) von der Stanford University. Im Mittelpunkt unserer Darstellung steht der Begriff des Programmierstils. Er gestattet eine sinnvolle Klassifikation der Ansätze und Leitlinien, nach denen in LISP programmiert wird und ermöglicht gleichzeitig die Einbeziehung neuer Grundgedanken wie des der Objektorientierung. Wir hoffen, damit eine neu artige Einführung in die Programmierung vorzulegen, die nur noch wenige Ge meinsamkeiten mit traditionellen Darstellungen teilt. So kommt es, daß in diesem Lehrbuch nichts über 'interne Repräsentation' von LISP-Objekten (z. B. Spei cherstrukturen, automatische Speicherverwaltung, usw.) und über interne Details der Implementation von LISP zu finden ist. Wir haben diese Entscheidung be wußt getroffen, da wir meinen, daß diese Themen Gegenstand eines weiterführen den Textes sein sollten. Der hieran interessierte Leser sei auf Allens 'Anatomy of LISP' (1979) verwiesen.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - GWAI-85, die neunte deutsche Fachtagung Ober KOnstliche Intelligenz, fand yom 23. - 27. September 1985 in Dassel/Solling statt. Sie wurde von Ober 200 Teilnehmern besucht. Der vorliegende Band enthalt ausgewahlte Beitrage aus ver schiedenen Themenbereichen der KOnstlichen Intelligenz (KI), darunter die Fassung eines aingeladenen Vortrages in voller Lange, zwei Zusammenfassungen zweier weiterer eingeladener und verdichtete Projektorfolien eines vierten. Des Vortrage weiteren sind Materialien des Tutoriums 'Situationssemantik und Diskursreprasentationstheorie', das Manfred Pinkal organi sierte, enthalten. Die GWAI-85 war interessant nicht zuletzt durch die (eingela denen) Vortrage von J. McCarthy, H. Gallaire, J. de Kleer und J.P. Tsang. Bedauerlicherweise hat nur der letzte dieser Vor tragenden eine vollstandige Arbeit eingereicht. Ich danke den Autoren fOr ihre MOhe bei der Erstellung der Druckvorlagen - wenn sie auch leider allzu unterschiedlich ausgefallen sind. Wie bei jeder wissenschaftlichen Tagung sind die abgedruckten Arbeiten eine Auswahl aus einer weit groBeren Zahl von eingereichten Vorschlagen. Allein aus ZeitgrOnden konnte nicht alles berOcksichtigt werden. So danke ich allen, die Beitrage eingesandt haben, auch wenn diese hier nicht veroffentlicht worden sind. Erst durch den vielfaltigen Wunsch urn Mitarbeit wurde die GWAI-85 zu einer erfolgreichen Tagung.…

Softcover. Zustand: Gut. 153 Seiten Ehem. Bibliotheksexemplar mit üblichen Merkmalen wie Signatur und Stempel. Moderate Lager- und Gebrauchsspuren. Text bis auf selten mögliche Anstreichungen sauber. Insgesamt guter Zustand. 9783540188537 Sprache: Deutsch Gewicht in Gramm: 304.

Zustand: New. In German.

Zustand: Gut. Zustand: Gut | Seiten: 376 | Sprache: Deutsch | Produktart: Bücher | Das vorliegende Buch ging aus einer Vorlesung hervor, die wir gemeinsam im Sommersemester 1982 an der Universität Erlangen-Nürnberg gehalten haben. Wesentliche Anregungen verdanken die Autoren den Manuskripten der Vorle­ sung "Structure und Interpretation of Computer Programs" von Abelson, Fano und Sussman (1981, 1982, 1983 als MIT-AI-TR-735 veröffentlicht) am Massachusetts Institute ofTechnology, sowie den Lehrbüchern "LISP" von Win­ ston und Horn (1981) und "Artificial Intelligence Programming" von Charniak, Riesbeck und McDermott (1980) und dem Vorlesungsmanuskript "LISP - Pro­ gramming and Proving" von McCarthy und Talcott (1980) von der Stanford University. Im Mittelpunkt unserer Darstellung steht der Begriff des Programmierstils. Er gestattet eine sinnvolle Klassifikation der Ansätze und Leitlinien, nach denen in LISP programmiert wird und ermöglicht gleichzeitig die Einbeziehung neuer Grundgedanken wie des der Objektorientierung. Wir hoffen, damit eine neu­ artige Einführung in die Programmierung vorzulegen, die nur noch wenige Ge­ meinsamkeiten mit traditionellen Darstellungen teilt. So kommt es, daß in diesem Lehrbuch nichts über "interne Repräsentation" von LISP-Objekten (z. B. Spei­ cherstrukturen, automatische Speicherverwaltung, usw.) und über interne Details der Implementation von LISP zu finden ist. Wir haben diese Entscheidung be­ wußt getroffen, da wir meinen, daß diese Themen Gegenstand eines weiterführen­ den Textes sein sollten. Der hieran interessierte Leser sei auf Allens "Anatomy of LISP" (1979) verwiesen.…

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 376 | Sprache: Deutsch | Produktart: Bücher | Das vorliegende Buch ging aus einer Vorlesung hervor, die wir gemeinsam im Sommersemester 1982 an der Universität Erlangen-Nürnberg gehalten haben. Wesentliche Anregungen verdanken die Autoren den Manuskripten der Vorle­ sung "Structure und Interpretation of Computer Programs" von Abelson, Fano und Sussman (1981, 1982, 1983 als MIT-AI-TR-735 veröffentlicht) am Massachusetts Institute ofTechnology, sowie den Lehrbüchern "LISP" von Win­ ston und Horn (1981) und "Artificial Intelligence Programming" von Charniak, Riesbeck und McDermott (1980) und dem Vorlesungsmanuskript "LISP - Pro­ gramming and Proving" von McCarthy und Talcott (1980) von der Stanford University. Im Mittelpunkt unserer Darstellung steht der Begriff des Programmierstils. Er gestattet eine sinnvolle Klassifikation der Ansätze und Leitlinien, nach denen in LISP programmiert wird und ermöglicht gleichzeitig die Einbeziehung neuer Grundgedanken wie des der Objektorientierung. Wir hoffen, damit eine neu­ artige Einführung in die Programmierung vorzulegen, die nur noch wenige Ge­ meinsamkeiten mit traditionellen Darstellungen teilt. So kommt es, daß in diesem Lehrbuch nichts über "interne Repräsentation" von LISP-Objekten (z. B. Spei­ cherstrukturen, automatische Speicherverwaltung, usw.) und über interne Details der Implementation von LISP zu finden ist. Wir haben diese Entscheidung be­ wußt getroffen, da wir meinen, daß diese Themen Gegenstand eines weiterführen­ den Textes sein sollten. Der hieran interessierte Leser sei auf Allens "Anatomy of LISP" (1979) verwiesen.…