herbert stoyan (56 Ergebnisse)

Broschiert. Zustand: Gut. 386 S. Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Schnitt und Einband sind etwas staubschmutzig; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Einbandkanten sind leicht bestoßen; Sprache: Deutsch Gewicht in Gramm: 640.

Softcover Sehr gut erhalten.

Unbekannt. Zustand: Gut. X, 471 S. : graph. Darst. Versand am folgenden Arbeitstag mit Rechnung daily shipping wordwide with invoice ex library Sprache: Deutsch Gewicht in Gramm: 550.

Softcover. 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.

Zustand: New. In.

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. Begründungsverwaltung | Beiträge zu einem Workshop über Reason Maintenance Berlin, 9. Oktober 1986 Proceedings | Herbert Stoyan | Taschenbuch | vii | Englisch | 1988 | Springer | EAN 9783540188537 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

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.

Berlin, Springer 1984. 365 S., OKart. Papierbedingt gebräunt, sonst gut.

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.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Format groß 8°, Ausgabe 1985 broschiert, die anderen 4 Bücher LEINEN, leicht nachgedunkelte Seiten, ausgesonderte Bibliotheksexemplar aus einer wissenschaftlichen Bibliotheke, keine Markierungen / Anmerkungen, die Bücher sind in einem sehr guten Zustand. Shipping to abroad insured with tracking number.

*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.

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. 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.

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.