Vérifier l'état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Proof Theory and Logic Programming

Langue AnglaisAnglais
Livre Livre relié
Livre Proof Theory and Logic Programming Dale Miller
Code Libristo: 48601342
Éditeurs Cambridge University Press, novembre 2025
Shows how computation can be understood as proof search across classical, intuitionistic, and linear...
? points 196 b
80.63 €
Stockage externe Expédition sous 14-21 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Educacion Para La Equidad de Genero Elida Lucila Campos Alba / Livre Livre de poche
common.buy 34.81 €
ciudad y los muertos Javier Kessler / Livre Livre de poche
common.buy 9.98 €
Prompt Engineering im Geschäftsprozessmanagement Keuthen / Livre Livre relié
common.buy 37.74 €
Promuovere l'accesso all'istruzione per i bambini rifugiati in Sudafrica Mabel Dzinouya Sithole / Livre Livre de poche
common.buy 29.36 €
Promociones de ventas al consumidor / Livre Livre de poche
common.buy 31.98 €
Propozycja redukcji kosztów w MTS-MTO Pedro Vilaça / Livre Livre de poche
common.buy 29.36 €
promozione del benessere nei bambini. Allenare la mente felice nei contesti educativi Duncan Gillard / Livre Livre de poche
common.buy 40.76 €

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

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Proof Theory and Logic Programming
Auteur Dale Miller
Langue Anglais
Reliure Livre - Livre relié
Date de parution 2025
Nombre de pages 400
EAN 9781009561297
ISBN 1009561294
Code Libristo 48601342
Éditeurs Cambridge University Press
Poids 612

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Techniques de programmation
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Top
Proofs and Refutations Imre Lakatos / Livre Livre de poche
common.buy 22.29 €
Dustin Pedroia: The Inspirational Story of Baseball Superstar Dustin Pedroia Bill Redban / Livre Livre de poche
common.buy 7.66 €
Forgotten Sister Nicola Cornick / Livre audio MP3
common.buy 15.13 €
Top
The Half of It Madison Beer / Livre Livre relié
common.buy 16.95 €
Nouveauté
Unsettling Extinction Steven Hartman / Livre Livre de poche
common.buy 33.40 €
Proof of Work Miriam Beblo / Livre Livre de poche
common.buy 22.40 €
Prompt Execution S.W. Michaels / Livre Livre de poche
common.buy 20.28 €
Bientôt Nouveauté
Proper Names and Reference Lenny Clapp / Livre Livre relié
common.buy 125.95 €
Promotional Pandemonium! Selling Stan Laurel & Oliver Hardy To Depression-Era America - Book Two Richard Greene / Livre Livre de poche
common.buy 119.39 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?