KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 11.11.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher und Hörbuch-Downloads, nicht preisgebundene Bücher und Kalender online auf thaalia.live und 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. 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: Foundations of Logic and Functional Programming
  • Produktbild: Foundations of Logic and Functional Programming
Band 306

Foundations of Logic and Functional Programming Workshop, Trento, Italy, December 15-19, 1986. Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

This volume consists of some of the papers that were delivered during the workshop on "Foundations of Logic and Functional Programming" held in Trento, Italy, from December 15th to 19th, 1986. The meeting centered on themes and trends in Functional Programming and in Logic Programming. This book contains...

Beschreibung

This volume consists of some of the papers that were delivered during the workshop on "Foundations of Logic and Functional Programming" held in Trento, Italy, from December 15th to 19th, 1986. The meeting centered on themes and trends in Functional Programming and in Logic Programming. This book contains five papers contributed by the invited speakers and five selected contributions.

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

27.04.1988
Abbildungen

VIII, 224 p.
Herausgeber Mauro Boscarol + weitere

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

27.04.1988
Abbildungen

VIII, 224 p.
Herausgeber
Verlag Springer Berlin
Seitenzahl

224
Maße (L/B/H)

23,5/15,5/1,3 cm
Gewicht

359 g
Auflage

1988
Sprache

Englisch
ISBN

978-3-540-19129-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: Foundations of Logic and Functional Programming
  • Produktbild: Foundations of Logic and Functional Programming
  • Rum an intensional theory of function and control abstractions.- Typechecking dependent types and subtypes.- Reducing recursion to iteration by means of pairs and N-tuples.- Unification revisited.- Rule rewriting methods for efficient implementations of horn logic.- PAP: a logic programming system based on a constructive logic.- A completeness result for E-unification algorithms based on conditional narrowing.- Representing domain structure of many-sorted Prolog knowledge bases.- Horn: An inference engine prototype to implement intelligent systems.- Hints for the design of a set calculus oriented to Automated Deduction.