Programming with Higher-Order Logic – hinnat ja saatavuus
Kirjafiili on kirjojen hintavertailu. Löydä halvin hinta 27 kirjakaupasta. Hintavertailu koskee ISBN-tunnusta 9780521879408 (sidottu).
Kirjan kuvaus
Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable… Näytä koko kuvaus Piilota kuvaus
Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called ? Prolog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and ?-terms and p-calculus expressions can be encoded in ? Prolog.
Kirjan tiedot
Vertaa kirjan ”Programming with Higher-Order Logic” hintoja
Vertaa tuotteen hintaa ja arvioitua kokonaishintaa toimitettuna. Kaikki hinnat koskevat ISBN-tunnusta 9780521879408.
Hintoja ei päivitetty automaattisesti. Voit hakea ajantasaiset hinnat painamalla Hae hinnat.
Booky
Suomalainen
Kansallinen Kirjakauppa
Prisma
Finlandia Kirja
Fantasiapelit
Vinhan kirjakauppa
CDON
Kustantamo S&S
Kennys.ie
Kristillinenkirjakauppa.fi
Sacrum
Adlibris
BookOutlet.fi
Kirja.fi
Rosebud
Tälle kirjalle ei ole tällä hetkellä vahvistettua hintaa. Tarkista tilanne myöhemmin uudelleen.
Hintoja ei ole vielä päivitetty.
Hälytys tallennettu!
Ilmoitamme, kun hinta laskee.
Saat sähköpostin, kun hinta laskee asettamaasi rajaan tai sen alle.
Programming with Higher-Order Logic – hintahistoria
Seuraamme kirjan Programming with Higher-Order Logic hintakehitystä kirjakaupoissa. Taulukosta näet viime kuukausien alimmat hinnat.
Alin hinta kauppoittain
Kunkin kaupan alin hinta viimeisten 90 päivän aikana.
Hintahistoriaa ei ole vielä kerätty tälle kirjalle.
Hinnat ilman toimituskuluja.