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 '87
  • Produktbild: Logic Programming '87
Band 315

Logic Programming '87 Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.06.1988

Abbildungen

VI, 327 p.

Herausgeber

Koichi Furukawa + weitere

Verlag

Springer Berlin

Seitenzahl

327

Maße (L/B/H)

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

Gewicht

517 g

Auflage

1988

Sprache

Englisch

ISBN

978-3-540-19426-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.06.1988

Abbildungen

VI, 327 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

327

Maße (L/B/H)

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

Gewicht

517 g

Auflage

1988

Sprache

Englisch

ISBN

978-3-540-19426-2

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 '87
  • Produktbild: Logic Programming '87
  • From unification to constraints.- CS-Prolog: A generalized unification based constraint solver.- Update propagation network — A framework for constraint programming.- Mendels: Concurrent program synthesis system using temporal logic.- Analogical program synthesis from program components.- Deriving a compilation method for parallel logic languages.- The art of building a parallel logic programming system or from zero to full GHC in ten pages.- of a package system into Prolog.- KPR: A logic programming language-oriented parallel machine.- A preliminary evaluation of a parallel inference machine for stream parallel languages.- Managing search in parallel logic programming.- Inductive inference of regular languages based on model inference.- Polymorphic type inference in Prolog by abstract interpretation.- Proving partial correctness of guarded horn clauses programs.- Knowledge representation and inference based on first-order modal logic.- Manipulation of embedded context using the multiple world mechanism.- Generating natural language responses appropriate to conversational situations - in the case of Japanese -.- An approach to speeding up the Prolog-based inference engine KORE/IE.- Test generation for large-scale combinational circuits by using Prolog.- Concurrent execution of Prolog transaction.