• Produktbild: Foundations of Equational Logic Programming
  • Produktbild: Foundations of Equational Logic Programming
Band 353

Foundations of Equational Logic Programming

35,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.10.1989

Abbildungen

XII, 256 p.

Verlag

Springer Berlin

Seitenzahl

256

Maße (L/B/H)

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

Gewicht

406 g

Auflage

1989

Sprache

Englisch

ISBN

978-3-540-51533-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.10.1989

Abbildungen

XII, 256 p.

Verlag

Springer Berlin

Seitenzahl

256

Maße (L/B/H)

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

Gewicht

406 g

Auflage

1989

Sprache

Englisch

ISBN

978-3-540-51533-3

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 Equational Logic Programming
  • Produktbild: Foundations of Equational Logic Programming
  • Preliminaries.- Equational Logic Programming.- Universal Unification.- SLDE-Resolution.- Paramodulation.- Universal Unification by Complete Sets of Transformations.- Lazy Resolution and Complete Sets of Inference Rules for Horn Equational Theories.- Conclusion.