Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Foundations of Equational Logic Programming

Name: Foundations of Equational Logic Programming
Brand: Springer, Berlin
SKU: 01565208
Price: 14298 HUF
Availability: InStock
Author: Steffen Hölldobler
ISBN: 9783540515333

Steffen Hölldobler

Language

English

Book Paperback

Libristo code: 01565208

Publishers Springer, Berlin

Equations play a vital role in many fields of mathematics, computer science, and artificial intellig... Full description

Libristo code: 01565208

95 b

14 298 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

UNA CHICA EN LA CIUDAD MERCE IBARZ

Paperback

6 813 Ft

Dictionnaire des Locutions Populaires du Bon Pays de Rennes en Bretagne Coulabin H

Paperback

9 799 Ft

niederlandischen Schulen im herzoglichen Museum zu Braunschweig Herman Riegel

Paperback

12 406 Ft

Les animaux de la forêt Xavier Japiot

Paperback

6 108 Ft

Escritos esenciales James Martin Martin

Paperback

8 176 Ft

Trinkerinnen und Trinker Oliver Kasermann

Adobe ePub DRM

65 478 Ft

ACTES DEL DESE COLÚLOQUI INTERNACIONAL DE LLENGUA I LITERATU SCH(TM)NBERGER

Paperback

8 928 Ft

Moje první samolepkování Třpytivé stromky

Paperback

1 680 Ft

BABADADA black-and-white, Swati - Asante-twi, sichazamavi lesibonakalako - dihyinari a y?hw?

Paperback

3 075 Ft

Ten den 17. listopad 1989 Alžběta Ambrožová

Paperback

4 547 Ft

Livre de coloriage Chevaux, poneys, licornes et Pegase 1 Nick Snels

Paperback

4 050 Ft

Projekt Duplo Bruno Küpper

Paperback

2 924 Ft

Zabibah Wal Malik: An Arabic Novel Saddam Hussein

Paperback

10 414 Ft

Interkulturelle Sensibilitat Und Persoenlichkeitsmerkmale Roland Wern

Paperback

20 932 Ft

Wertgrundsatze und Leitbilder der deutschen Wirtschaftselite Joachim Krautter

Paperback

6 780 Ft

Motivace zvenčí je jako smrad Ivo Toman

Paperback

5 626 Ft

Histoire Du Consulat Et de l'Empire Guillon-E

Paperback

6 108 Ft

Etude de Patients Victimes d'Agression Consultant Aux Urgences Frederic Enjaume

Paperback

13 849 Ft

Skříňka s démonem Ken Kesey

Hardback

3 511 Ft

Chrany Peter V. Brett

Book

3 255 Ft

Gears of War 2 Po záplavě Karen Travissová

Paperback

4 216 Ft

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.