Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Programming with Higher-Order Logic

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Programming with Higher-Order Logic Dale Miller
Libristo-code: 01234526
Uitgeverij Cambridge University Press, juni 2012
Formal systems that describe computations over syntactic structures occur frequently in computer sci... Volledige beschrijving
? points 157 b
64.81 €
In extern magazijn Wordt binnen 10-18 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

CAFE CREME 3 CAHIER D'EXERCICES Marcella Beacco di Giura / Boek Gebonden (paperback)
common.buy 17.01 €
Będą z tego kłopoty. Dłuższa przerwa. Tom 1 Agata Przybyłek / Boek Gebonden (paperback)
common.buy 8.60 €
Mein Gebet macht mich stark Stormie Omartian / E-book Adobe ePub DRM
common.buy 15.39 €
111 Orte auf Usedom, die man gesehen haben muss Thomas Fuchs / Boek Gebonden (paperback)
common.buy 15.28 €
HOMMAGE A CHOPIN GUITARE ALEXANDRE TANSMAN Boek binding.
common.buy 16.90 €
Chancenplaner: 60 Fragen für mehr Erfolg im Leben zum Ausfüllen - Motiv: Aquarellblumen Gerda Wagner / Boek Gebonden (paperback)
common.buy 8.60 €
Tibetan Mantras for Turbulent Times, Audio-CD Deva Premal / Audio Audio cd
common.buy 24.70 €
Nacktes Leben T._O. Immisch / Boek Gebonden (harde band)
common.buy 25.11 €
O CROCODILO O QUE NON LLE GUSTABA A AUGA GEMMA MERINO / Boek Gebonden (harde band)
common.buy 12.75 €
Hansestadte und die Kontinentalsperre Walther Vogel / Boek Gebonden (paperback)
common.buy 26.83 €
Deadly Class - 1988, Kinder ohne Heimat Rick Remender / Boek Gebonden (paperback)
common.buy 14.27 €
Dieta sirtuinowa Kleine-Gunk Bernd / Boek Gebonden (paperback)
common.buy 7.28 €
CULPA NUESTRA MERCEDES RON / Boek Gebonden (harde band)
common.buy 19.84 €
Cuba: l'Insurection Cubaine de Fevrier 1895 A Mai 1896 Espinasse-Secondat-P / Boek Gebonden (paperback)
common.buy 15.59 €

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

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Programming with Higher-Order Logic
Auteur Dale Miller
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2012
Aantal pagina's 320
EAN 9780521879408
ISBN 052187940X
Libristo-code 01234526
Uitgeverij Cambridge University Press
Gewicht 616
Afmetingen 160 x 237 x 23

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Object-georiënteerd programmeren (OOP)
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Biology of Blood-Sucking in Insects Michael Lehane / Boek Gebonden (paperback)
common.buy 101.78 €
America and the Patterns of Chivalry John Fraser / Boek Gebonden (paperback)
common.buy 48.20 €
TOP
Grammar for English Language Teachers Martin Parrott / Boek Gebonden (paperback)
common.buy 43.74 €
Harry Potter and the Prisoner of Azkaban Joanne Rowling / Boek Gebonden (harde band)
common.buy 181.39 €
Power Michel Foucault / Boek Gebonden (paperback)
common.buy 17.11 €
TOP
Of Blood and Bones Kate Freuler / Boek Gebonden (paperback)
common.buy 15.08 €
Fatal Blade Eric Thomson / Boek Gebonden (paperback)
common.buy 16.70 €
Race Against Chaos Sticker Activity Book Kiel Phegley / Boek Gebonden (paperback)
common.buy 7.48 €
Options Trading: How to Make Money in Less Than 7 Days (Quick Guide) Victor Lucas / Boek Gebonden (paperback)
common.buy 15.39 €
TOP
Geomorphia Kerby Rosanes / Boek Gebonden (paperback)
common.buy 6.78 €
TOP
250 Brief, Creative & Practical Art Therapy Techniques250 Brief, Creative & Practical Art Therapy Techniques Susan Buchalter / Boek Gebonden (paperback)
common.buy 28.25 €
My Reading Life: A Book Journal Anne Bogel / Boek Gebonden (harde band)
common.buy 15.79 €
Amazing Butterflies and Flowers in Large Designs: Simple Flower and Butterfly Designs Adult Coloring Book Mindful Coloring Books / Boek Gebonden (paperback)
common.buy 7.69 €
Stalin C. J. Read / Boek Gebonden (harde band)
common.buy 227.17 €
Born a New! What Now For You? Jimmy H Hampton / Boek Gebonden (paperback)
common.buy 10.32 €
TOP
That Time I Got Reincarnated as a Slime, Vol. 1 Fuse / Boek Gebonden (paperback)
common.buy 11.33 €
Molecular Mechanisms of Body Water Homeostasis Carolyn M. Ecelbarger / Boek Gebonden (paperback)
common.buy 43.14 €
TOP
The Greater Key of Solomon: The Grimoire of Solomon Samuel Mathers / Boek Gebonden (paperback)
common.buy 6.98 €
Simpsons Secret James Hicks / Boek Gebonden (paperback)
common.buy 13.56 €
Becoming Michelle Obama / Boek Gebonden (paperback)
common.buy 12.24 €
Tommy Emmanuel's Fingerstyle Guitar Milestones Tim Pettingale / Boek Gebonden (paperback)
common.buy 20.35 €
High 5 Daily Journal Mel Robbins / Boek Gebonden (harde band)
common.buy 21.77 €
Art of Feefal Publishing 3dtotal / Boek Gebonden (harde band)
common.buy 33.11 €
The Dragon's Promise LIM ELIZABETH / Boek Gebonden (paperback)
common.buy 10.83 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?