Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 14.09.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher, nicht preisgebundene Bücher und Kalender in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Nur gültig mit im Onlineshop hinterlegter Bonuscard. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
  • Produktbild: Logic Programming '88
  • Produktbild: Logic Programming '88
Band 383

Logic Programming '88 Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.09.1989

Abbildungen

X, 258 p.

Herausgeber

Koichi Furukawa + weitere

Verlag

Springer Berlin

Seitenzahl

258

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

411 g

Auflage

1989

Sprache

Englisch

ISBN

978-3-540-51564-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.09.1989

Abbildungen

X, 258 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

258

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

411 g

Auflage

1989

Sprache

Englisch

ISBN

978-3-540-51564-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Logic Programming '88
  • Produktbild: Logic Programming '88
  • Completeness of extended unification based on basic narrowing.- Proving definite clauses without explicit use of inductions.- Pseudo extension in default reasoning and belief revision by model inference.- An approach to nonmonotonic inference mechanism in production system KORE/IE.- Nonmonotonic parallel inheritance network.- Logic programming debugger using control flow specification.- ALEX: The logic programming language with explicit control and without cut-operators.- Lattice programming methodology.- A simple programming system written in GHC and its reflective operations.- Implementation of full GHC by communicating processes.- Inference methods and semantics on or-type knowledge bases.- Access program to minimize redundant refutations on the network database system.- EUODHILOS: A general-purpose reasoning assistant system — Concept and implementation —.- Logic based lexical analyser LAX.- Extraction of characteristic facts and abstract generation.- Knowledge representation and reasoning for discourse understanding.