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

Proof Theory and Logic Programming

Idioma InglésInglés
Libro Tapa dura
Libro Proof Theory and Logic Programming Dale Miller
Código Libristo: 48601342
Editores Cambridge University Press, noviembre 2025
Shows how computation can be understood as proof search across classical, intuitionistic, and linear...
? points 205 b
83.59 €
Almacenamiento externo Envío en 14-21 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Educacion Para La Equidad de Genero Elida Lucila Campos Alba / Libro Tapa blanda
common.buy 38.49 €
ciudad y los muertos Javier Kessler / Libro Tapa blanda
common.buy 10.39 €
Prompt Engineering im Geschäftsprozessmanagement Keuthen / Libro Tapa dura
common.buy 41.59 €
Promuovere l'accesso all'istruzione per i bambini rifugiati in Sudafrica Mabel Dzinouya Sithole / Libro Tapa blanda
common.buy 32.49 €
Promociones de ventas al consumidor / Libro Tapa blanda
common.buy 35.49 €
Propozycja redukcji kosztów w MTS-MTO Pedro Vilaça / Libro Tapa blanda
common.buy 32.49 €
promozione del benessere nei bambini. Allenare la mente felice nei contesti educativi Duncan Gillard / Libro Tapa blanda
common.buy 42.49 €

Shows how computation can be understood as proof search across classical, intuitionistic, and linear logics via sequent calculus.

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 Proof Theory and Logic Programming
Autor Dale Miller
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2025
Número de páginas 400
EAN 9781009561297
ISBN 1009561294
Código Libristo 48601342
Editores Cambridge University Press
Peso 612

Categorías

Computación e informática > Programación informática/desarrollo de software > Técnicas de programació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

Popular
Proofs and Refutations Imre Lakatos / Libro Tapa blanda
common.buy 23.49 €
Dustin Pedroia: The Inspirational Story of Baseball Superstar Dustin Pedroia Bill Redban / Libro Tapa blanda
common.buy 7.99 €
Forgotten Sister Nicola Cornick / Audiolibro MP3
common.buy 16.19 €
Popular
The Half of It Madison Beer / Libro Tapa dura
common.buy 18.79 €
Nuevo
Unsettling Extinction Steven Hartman / Libro Tapa blanda
common.buy 35.49 €
Proof of Work Miriam Beblo / Libro Tapa blanda
common.buy 20.69 €
Prompt Execution S.W. Michaels / Libro Tapa blanda
common.buy 20.99 €
Próximamente Nuevo
Proper Names and Reference Lenny Clapp / Libro Tapa dura
common.buy 130.09 €
Promotional Pandemonium! Selling Stan Laurel & Oliver Hardy To Depression-Era America - Book Two Richard Greene / Libro Tapa blanda
common.buy 123.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?