Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

Programming with Higher-Order Logic

Language EnglishEnglish
Book Hardback
Book Programming with Higher-Order Logic Dale Miller
Libristo code: 01234526
Publishers Cambridge University Press, June 2012
Formal systems that describe computations over syntactic structures occur frequently in computer sci... Full description
? points 164 b
66.99 € VAT included
In stock at our supplier Shipping in 10-18 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

CAFE CREME 3 CAHIER D'EXERCICES Marcella Beacco di Giura / Book Paperback
common.buy 17.69 €
Będą z tego kłopoty. Dłuższa przerwa. Tom 1 Agata Przybyłek / Book Paperback
common.buy 8.99 €
Mein Gebet macht mich stark Stormie Omartian / E-book Adobe ePub DRM
common.buy 15.99 €
111 Orte auf Usedom, die man gesehen haben muss Thomas Fuchs / Book Paperback
common.buy 18.00 €
HOMMAGE A CHOPIN GUITARE ALEXANDRE TANSMAN Book binding.
common.buy 17.39 €
Chancenplaner: 60 Fragen für mehr Erfolg im Leben zum Ausfüllen - Motiv: Aquarellblumen Gerda Wagner / Book Paperback
common.buy 8.89 €
Tibetan Mantras for Turbulent Times, Audio-CD Deva Premal / Audio Audio CD
common.buy 24.39 €
Nacktes Leben T._O. Immisch / Book Hardback
common.buy 28.00 €
O CROCODILO O QUE NON LLE GUSTABA A AUGA GEMMA MERINO / Book Hardback
common.buy 12.59 €
Hansestadte und die Kontinentalsperre Walther Vogel / Book Paperback
common.buy 29.90 €
Deadly Class - 1988, Kinder ohne Heimat Rick Remender / Book Paperback
common.buy 16.80 €
Dieta sirtuinowa Kleine-Gunk Bernd / Book Paperback
common.buy 7.59 €
CULPA NUESTRA MERCEDES RON / Book Hardback
common.buy 22.29 €
Cuba: l'Insurection Cubaine de Fevrier 1895 A Mai 1896 Espinasse-Secondat-P / Book Paperback
common.buy 16.09 €

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

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Programming with Higher-Order Logic
Author Dale Miller
Language English
Binding Book - Hardback
Date of issue 2012
Number of pages 320
EAN 9780521879408
ISBN 052187940X
Libristo code 01234526
Publishers Cambridge University Press
Weight 616
Dimensions 160 x 237 x 23

Categories

Computing & Information Technology > Computer programming / software engineering > Object-oriented programming (OOP)
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Biology of Blood-Sucking in Insects Michael Lehane / Book Paperback
common.buy 105.09 €
America and the Patterns of Chivalry John Fraser / Book Paperback
common.buy 49.79 €
Top
Grammar for English Language Teachers Martin Parrott / Book Paperback
common.buy 45.89 €
Harry Potter and the Prisoner of Azkaban Joanne Rowling / Book Hardback
common.buy 191.79 €
Power Michel Foucault / Book Paperback
common.buy 16.89 €
Top
Of Blood and Bones Kate Freuler / Book Paperback
common.buy 15.79 €
Fatal Blade Eric Thomson / Book Paperback
common.buy 17.29 €
Race Against Chaos Sticker Activity Book Kiel Phegley / Book Paperback
common.buy 7.89 €
Options Trading: How to Make Money in Less Than 7 Days (Quick Guide) Victor Lucas / Book Paperback
common.buy 15.99 €
Top
Geomorphia Kerby Rosanes / Book Paperback
common.buy 7.19 €
Top
250 Brief, Creative & Practical Art Therapy Techniques250 Brief, Creative & Practical Art Therapy Techniques Susan Buchalter / Book Paperback
common.buy 29.69 €
My Reading Life: A Book Journal Anne Bogel / Book Hardback
common.buy 16.49 €
Amazing Butterflies and Flowers in Large Designs: Simple Flower and Butterfly Designs Adult Coloring Book Mindful Coloring Books / Book Paperback
common.buy 7.99 €
Stalin C. J. Read / Book Hardback
common.buy 224.29 €
Born a New! What Now For You? Jimmy H Hampton / Book Paperback
common.buy 10.69 €
Top
That Time I Got Reincarnated as a Slime, Vol. 1 Fuse / Book Paperback
common.buy 15.29 €
Molecular Mechanisms of Body Water Homeostasis Carolyn M. Ecelbarger / Book Paperback
common.buy 44.49 €
Top
The Greater Key of Solomon: The Grimoire of Solomon Samuel Mathers / Book Paperback
common.buy 7.19 €
Simpsons Secret James Hicks / Book Paperback
common.buy 14.29 €
Becoming Michelle Obama / Book Paperback
common.buy 12.99 €
Tommy Emmanuel's Fingerstyle Guitar Milestones Tim Pettingale / Book Paperback
common.buy 20.99 €
High 5 Daily Journal Mel Robbins / Book Hardback
common.buy 21.19 €
Art of Feefal Publishing 3dtotal / Book Hardback
common.buy 34.79 €
The Dragon's Promise LIM ELIZABETH / Book Paperback
common.buy 11.49 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?