Αγαπητοί μας πελάτες, θα θέλαμε να σας ενημερώσουμε ότι η τηλεφωνική υποστήριξη δεν είναι διαθέσιμη σήμερα. Θα εξετάσουμε τα αιτήματά σας την επόμενη εργάσιμη ημέρα. Σας ευχαριστούμε για την κατανόησή σας.

Έλεγχος κατάστασης παραγγελίας

Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού

Δωρεάν αποστολή με Box Now άνω των 69.99 €

DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €

Επικοινωνία phone

Πώς να κάνετε αγορές;

Βοήθεια

Ο λογαριασμός μου

▸ Άδειο :-(

Proof Theory and Logic Programming

Name: Proof Theory and Logic Programming
Brand: Cambridge University Press
SKU: 48601342
Price: 84.44 EUR
Availability: InStock
Author: Dale Miller
ISBN: 9781009561297

Dale Miller

Γλώσσα

Αγγλική

Βιβλίο Σκληρόδετο

Κωδικός Libristo: 48601342

ΕΕκδοτικός οίκος Cambridge University Press, Νοέμβριος 2025

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

Κωδικός Libristo: 48601342

205 b

84.44 €

Σε εξωτερική αποθήκη Αποστέλλουμε σε 14-21 ημέρες

Παράδοση στην Ελλάδα

Έως 30 ημέρες για επιστροφή

Οι πελάτες αγόρασαν επίσης

Educacion Para La Equidad de Genero Elida Lucila Campos Alba

Χαρτόδετο

34.84 €

ciudad y los muertos Javier Kessler

Χαρτόδετο

10.50 €

Prompt Engineering im Geschäftsprozessmanagement Keuthen

Σκληρόδετο

37.77 €

Promuovere l'accesso all'istruzione per i bambini rifugiati in Sudafrica Mabel Dzinouya Sithole

Χαρτόδετο

29.38 €

Promociones de ventas al consumidor

Χαρτόδετο

32.01 €

Propozycja redukcji kosztów w MTS-MTO Pedro Vilaça

Χαρτόδετο

29.38 €

promozione del benessere nei bambini. Allenare la mente felice nei contesti educativi Duncan Gillard

Χαρτόδετο

40.50 €

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

Ηθοποιός & Πολύγλωσση

EWA KASP για

Αναπαραγωγή βίντεο

το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Proof Theory and Logic Programming

Συγγραφέας Dale Miller

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Σκληρόδετο

Ημερομηνία έκδοσης 2025

Αριθμός σελίδων 400

EAN 9781009561297

ISBN 1009561294

Κωδικός Libristo 48601342

ΕΕκδοτικός οίκος Cambridge University Press

Βάρος 612

Κατηγορία

Computing & Information Technology > Computer programming / software engineering > Programming techniques

Χαρίστε αυτό το βιβλίο σήμερα

Είναι εύκολο

1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη