Vor Ort
Merkzettel Warenkorb
  • 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

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.04.1988

Herausgeber

Mauro Boscarol + weitere

Verlag

Springer Berlin

Seitenzahl

224

Maße (L/B/H)

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

Gewicht

368 g

Auflage

1988

Sprache

Englisch

ISBN

978-3-540-19129-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.04.1988

Herausgeber

Verlag

Springer Berlin

Seitenzahl

224

Maße (L/B/H)

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

Gewicht

368 g

Auflage

1988

Sprache

Englisch

ISBN

978-3-540-19129-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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.