Foundations of Equational Logic Programming

Prijzen vanaf
35,99

Uitgelicht


Beschrijving

Bol 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.

Vergelijk aanbieders (1)

Shop
Prijs
Verzendkosten
Totale prijs
35,99
Gratis
35,99
Naar shop
Gratis Shipping Costs
Beschrijving (1)

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.


Productspecificaties

EAN
  • 9783540515333
Maat

Prijzen voor het laatst bijgewerkt op:

Uitgelichte Keuze
35,99
Naar shop