Verwandte Artikel zu Foundations of Equational Logic Programming: 353 (Lecture...

Foundations of Equational Logic Programming: 353 (Lecture Notes in Computer Science)

0 durchschnittliche Bewertung
( 0 Bewertungen bei Goodreads )
 
9783540515333: Foundations of Equational Logic Programming: 353 (Lecture Notes in Computer Science)
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
 
 
Reseña del editor:

Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic programming. This book presents the foundations of equational logic programming. After generalizing logic programming by augmenting programs with a conditional equational theory, the author defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting. Within this framework many known results are developed. In particular, a presentation of the least model and the fixpoint semantics of equational logic programs is followed by a rigorous proof of the soundness and the strong completeness of various proof techniques: SLDE-resolution, where a universal unification procedure replaces the traditional unification algorithm; linear paramodulation and special forms of it such as rewriting and narrowing; complete sets of transformations for conditional equational theories; and lazy resolution combined with any complete set of inference rules for conditional equational theories.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9780387515335: Foundations of Equational Logic Programming (Lecture Notes in Computer Science)

Vorgestellte Ausgabe

ISBN 10: 038751533X ISBN 13: 9780387515335
Verlag: Springer Verlag, 1990
Softcover

Beste Suchergebnisse bei AbeBooks

Beispielbild für diese ISBN

Steffen H?lldobler
Verlag: Springer (1989)
ISBN 10: 354051533X ISBN 13: 9783540515333
Neu PAP Anzahl: 15
Print-on-Demand
Anbieter:
PBShop.store US
(Wood Dale, IL, USA)
Bewertung

Buchbeschreibung PAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers LQ-9783540515333

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 42,40
Währung umrechnen

In den Warenkorb

Versand: Gratis
Innerhalb USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Hà ¿à ¿lldobler, Steffen
Verlag: Springer (1989)
ISBN 10: 354051533X ISBN 13: 9783540515333
Neu Soft Cover Anzahl: 10
Anbieter:
booksXpress
(Freehold, NJ, USA)
Bewertung

Buchbeschreibung Soft Cover. Zustand: new. Bestandsnummer des Verkäufers 9783540515333

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 46,21
Währung umrechnen

In den Warenkorb

Versand: Gratis
Innerhalb USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Steffen HÃ lldobler
Verlag: Springer (1989)
ISBN 10: 354051533X ISBN 13: 9783540515333
Neu Paperback Anzahl: > 20
Anbieter:
Welcome Back Books
(Toledo, OH, USA)
Bewertung

Buchbeschreibung Paperback. Zustand: NEW. Clean and crisp and new!. Bestandsnummer des Verkäufers 3527907321

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 52,22
Währung umrechnen

In den Warenkorb

Versand: Gratis
Innerhalb USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

HÃ lldobler; Steffen
Verlag: Springer (1989)
ISBN 10: 354051533X ISBN 13: 9783540515333
Neu Softcover Anzahl: > 20
Print-on-Demand
Anbieter:
Ria Christie Collections
(Uxbridge, Vereinigtes Königreich)
Bewertung

Buchbeschreibung Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Bestandsnummer des Verkäufers ria9783540515333_lsuk

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 42,23
Währung umrechnen

In den Warenkorb

Versand: EUR 10,62
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Holldobler, Steffen
Verlag: Springer 1989-10 (1989)
ISBN 10: 354051533X ISBN 13: 9783540515333
Neu PF Anzahl: 1
Anbieter:
Chiron Media
(Wallingford, Vereinigtes Königreich)
Bewertung

Buchbeschreibung PF. Zustand: New. Bestandsnummer des Verkäufers 6666-LSI-9783540515333

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 36,68
Währung umrechnen

In den Warenkorb

Versand: EUR 17,71
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Steffen Hoelldobler
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany, Berlin (1989)
ISBN 10: 354051533X ISBN 13: 9783540515333
Neu Paperback Anzahl: 2
Anbieter:
WorldofBooks20
(GORING BY SEA, Vereinigtes Königreich)
Bewertung

Buchbeschreibung Paperback. Zustand: New. Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic programming. This book presents the foundations of equational logic programming. After generalizing logic programming by augmenting programs with a conditional equational theory, the author defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting. Within this framework many known results are developed. In particular, a presentation of the least model and the fixpoint semantics of equational logic programs is followed by a rigorous proof of the soundness and the strong completeness of various proof techniques: SLDE-resolution, where a universal unification procedure replaces the traditional unification algorithm; linear paramodulation and special forms of it such as rewriting and narrowing; complete sets of transformations for conditional equational theories; and lazy resolution combined with any complete set of inference rules for conditional equational theories. This is a Brand New book, in perfect condition. Quick dispatch. Bestandsnummer des Verkäufers NLS9783540515333

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 41,60
Währung umrechnen

In den Warenkorb

Versand: EUR 23,63
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Foto des Verkäufers

Steffen Hölldobler
Verlag: Springer Berlin Heidelberg (1989)
ISBN 10: 354051533X ISBN 13: 9783540515333
Neu Taschenbuch Anzahl: 1
Anbieter:
AHA-BUCH GmbH
(Einbeck, Deutschland)
Bewertung

Buchbeschreibung Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware -Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic programming. This book presents the foundations of equational logic programming. After generalizing logic programming by augmenting programs with a conditional equational theory, the author defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting. Within this framework many known results are developed. In particular, a presentation of the least model and the fixpoint semantics of equational logic programs is followed by a rigorous proof of the soundness and the strong completeness of various proof techniques: SLDE-resolution, where a universal unification procedure replaces the traditional unification algorithm; linear paramodulation and special forms of it such as rewriting and narrowing; complete sets of transformations for conditional equational theories; and lazy resolution combined with any complete set of inference rules for conditional equational theories. 264 pp. Englisch. Bestandsnummer des Verkäufers 9783540515333

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 35,57
Währung umrechnen

In den Warenkorb

Versand: EUR 32,99
Von Deutschland nach USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Steffen H?lldobler
Verlag: Springer (1989)
ISBN 10: 354051533X ISBN 13: 9783540515333
Neu Softcover Anzahl: 4
Anbieter:
Books Puddle
(New York, NY, USA)
Bewertung

Buchbeschreibung Zustand: New. pp. 264. Bestandsnummer des Verkäufers 263072592

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 64,71
Währung umrechnen

In den Warenkorb

Versand: EUR 3,87
Innerhalb USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Steffen Hlldobler
Verlag: Springer 2008-06-13 (2008)
ISBN 10: 354051533X ISBN 13: 9783540515333
Neu Paperback Anzahl: 20
Anbieter:
Chiron Media
(Wallingford, Vereinigtes Königreich)
Bewertung

Buchbeschreibung Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-ING-9783540515333

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 50,99
Währung umrechnen

In den Warenkorb

Versand: EUR 17,71
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Steffen H?lldobler
Verlag: Springer (1989)
ISBN 10: 354051533X ISBN 13: 9783540515333
Neu PAP Anzahl: 15
Print-on-Demand
Anbieter:
PBShop.store UK
(Fairford, GLOS, Vereinigtes Königreich)
Bewertung

Buchbeschreibung PAP. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers LQ-9783540515333

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 39,19
Währung umrechnen

In den Warenkorb

Versand: EUR 29,54
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Es gibt weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen