«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Programming with Higher-Order Logic

Idioma InglésInglés
Libro Tapa dura
Libro Programming with Higher-Order Logic Dale Miller
Código Libristo: 01234526
Editores Cambridge University Press, junio 2012
Formal systems that describe computations over syntactic structures occur frequently in computer sci... Descripción completa
? points 167 b
68.19 €
Almacenamiento externo Envío en 10-18 días

Política de devolución de 30 días

Clientes que también han comprado

CAFE CREME 3 CAHIER D'EXERCICES Marcella Beacco di Giura / Libro Tapa blanda
common.buy 17.09 €
Będą z tego kłopoty. Dłuższa przerwa. Tom 1 Agata Przybyłek / Libro Tapa blanda
common.buy 8.69 €
Mein Gebet macht mich stark Stormie Omartian / Libro electrónico Adobe ePub DRM
common.buy 16.29 €
Próximamente
111 Orte auf Usedom, die man gesehen haben muss Thomas Fuchs / Libro Tapa blanda
common.buy 16.99 €
HOMMAGE A CHOPIN GUITARE ALEXANDRE TANSMAN Libro binding.
common.buy 16.99 €
Chancenplaner: 60 Fragen für mehr Erfolg im Leben zum Ausfüllen - Motiv: Aquarellblumen Gerda Wagner / Libro Tapa blanda
common.buy 8.89 €
Tibetan Mantras for Turbulent Times, Audio-CD Deva Premal / Audio CD de audio
common.buy 24.89 €
Nacktes Leben T._O. Immisch / Libro Tapa dura
common.buy 27.69 €
O CROCODILO O QUE NON LLE GUSTABA A AUGA GEMMA MERINO / Libro Tapa dura
common.buy 12.89 €
Hansestadte und die Kontinentalsperre Walther Vogel / Libro Tapa blanda
common.buy 29.59 €
Deadly Class - 1988, Kinder ohne Heimat Rick Remender / Libro Tapa blanda
common.buy 15.89 €
Dieta sirtuinowa Kleine-Gunk Bernd / Libro Tapa blanda
common.buy 7.79 €
CULPA NUESTRA MERCEDES RON / Libro Tapa dura
common.buy 18.99 €
Cuba: l'Insurection Cubaine de Fevrier 1895 A Mai 1896 Espinasse-Secondat-P / Libro Tapa blanda
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

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Programming with Higher-Order Logic
Autor Dale Miller
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2012
Número de páginas 320
EAN 9780521879408
ISBN 052187940X
Código Libristo 01234526
Editores Cambridge University Press
Peso 616
Dimensiones 160 x 237 x 23

Categorías

Computación e informática > Programación informática/desarrollo de software > Programación orientada a objetos (POO)
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

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

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?