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

Logic Programming

Operational Semantics and Proof Theory

Idioma InglésInglés
Libro Tapa blanda
Libro Logic Programming Andrews
Código Libristo: 02037273
Editores Cambridge University Press, agosto 2004
Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both... Descripción completa
? points 137 b
55.89 €
Almacenamiento externo Envío en 9-15 días

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

Clientes que también han comprado

El cuerpo de maquinistas de la Armada Española (1850-1950) Vega / Libro Tapa blanda
common.buy 19.49 €
Manuale di architettura d'interni Riccardo Salvi / Libro Tapa blanda
common.buy 31.19 €
Проектирование технологической оснастки. Учебное пособие для СПО, 2-е изд., стер. В.Ю. Блюменштейн / Libro Tapa dura
common.buy 35.39 €
Räucherstäbchen Auroshikha "Palo Santo" 10g Juego/Juguete Juguete
common.buy 4.99 €
MOUNT ZION HEAD / Audio CD de audio
common.buy 16.79 €
Personnages secondaires Alejandro Zambra / Libro Tapa blanda
common.buy 22.49 €
Bescherelle Claude Kannas / Libro Tapa blanda
common.buy 9.29 €
Le carnet d'Emile - Blanc, 96p, A5 - Têtes de mort / Calendario/Diario Diario
common.buy 10.89 €
Krankenpflege Im Hause Und Im Hospitale Theodor Billroth / Libro Tapa blanda
common.buy 34.49 €
Finanční gramotnost pro druhý stupeň základní školy Petr Jakeš / Libro Tapa blanda
common.buy 3.39 €
Čarodějův učeň Otfried Preussler / Libro Tapa dura
common.buy 18.79 €

Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift between theory and practice in logic programming can be bridged. This is achieved by precisely characterizing the way in which 'depth-first' search for solutions to a logical formula - the usual strategy in most practical languages - is incomplete. Languages that perform 'breadth-first' searches reflect more closely the theory underlying logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies, will want to consult this book as the only source for some essential and new ideas in the area.

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 Logic Programming
Autor Andrews, James H. (Simon Fraser University, British Columbia)
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2004
Número de páginas 120
EAN 9780521607544
ISBN 052160754X
Código Libristo 02037273
Editores Cambridge University Press
Peso 230
Dimensiones 189 x 246 x 6

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
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
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

Hydrometallurgical Process Fundamentals Renato G. Bautista / Libro Tapa blanda
common.buy 225.39 €
Contraband Stuart Woods / Audio CD de audio
common.buy 36.59 €
Death By Shakespeare Kathryn Harkup / Libro Tapa dura
common.buy 23.19 €
Salem's Lot Tobe Hooper / Video DVD
common.buy 10.49 €
Unity 2018 Shaders and Effects Cookbook Alan Zucconi / Libro Tapa blanda
common.buy 58.29 €
Life of Mr. Cleveland Natural son of Oliver Cromwell. Written by Himself. ... of 4; Volume 4 ABB PR VOST / Libro Tapa dura
common.buy 34.79 €
Second Chance James V Lolatte / Libro Tapa blanda
common.buy 9.09 €
An Abridgement of Lectures on Rhetoric Hugh Blair / Libro Tapa blanda
common.buy 23.89 €
Introduction to Mathematica (R) for Physicists Andrey Grozin / Libro Tapa blanda
common.buy 66.49 €
Secrets to Survival Angela Morrison / Libro Tapa blanda
common.buy 12.69 €
Tinctures and Tantrums Laurie Campbell / Libro Tapa blanda
common.buy 28.69 €
Assessing Structural Health Monitoring Alternatives Utilizing a Value Focused Thinking Model Marti Barker / Libro Tapa blanda
common.buy 19.09 €
Pro HTML5 Programming Lubbers / Libro Tapa blanda
common.buy 55.19 €
Pro HTML5 and CSS3 Design Patterns Michael Bowers / Libro Tapa blanda
common.buy 47.39 €
Popular
Design Patterns Erich Gamma / Libro Tapa dura
common.buy 53.69 €
JavaScript & jQuery: The Missing Manual 3e David McFarland / Libro Tapa blanda
common.buy 47.39 €
Patient and Decentralized Testing J.P. Ashby / Libro Tapa blanda
common.buy 56.59 €
Biopsychosocial Approaches in Primary Care Hoyle Leigh / Libro Tapa blanda
common.buy 118.29 €
Elie Wiesel Steven T Katz / Libro Tapa dura
common.buy 29.49 €
Mistakes We Never Made Brown / Libro Tapa dura
common.buy 23.49 €
Religion, Civil Society and Conflict in Indonesia Carl Sterkens / Libro Tapa blanda
common.buy 21.99 €

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?