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

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

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

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

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

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

Βοήθεια

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

▸ Άδειο :-(

Logical Frameworks

Name: Logical Frameworks
Brand: Cambridge University Press
SKU: 02030023
Price: 126.19 EUR
Availability: InStock
Author: Gerard HuetG. Plotkin
ISBN: 9780521413008

Gerard HuetG. Plotkin

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 02030023

ΕΕκδοτικός οίκος Cambridge University Press, Σεπτέμβριος 1991

This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.... Πλήρης περιγραφή

Κωδικός Libristo: 02030023

305 b

126.19 €

Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 9-15 ημέρες

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

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

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

Die Stellung Der Privatdozenten (1896) Joseph Jastrow

Χαρτόδετο

21.26 €

Životopis černobílého jehněte Tomáš Zmeškal

Χαρτόδετο

10.73 €

Klucz Wardeszkiewicz

MP3

7.89 €

musikalische Foerderung von autistischen Kindern und Jugendlichen Martin Dietrich

Χαρτόδετο

42.83 €

TOLAYTOLA Y EL ISLAM DILLA MAÑAS

Χαρτόδετο

48.50 €

Mozart-Dialoge Nikolaus Harnoncourt

Χαρτόδετο

24.30 €

Morgenroethe Friedrich Nietzsche

Χαρτόδετο

13.56 €

hermeneutische Bedeutung der Schattenlosigkeit aus den Perspektiven Fremd- und Selbstbestimmung in Chamissos, Peter Schlemihl' Faik Korkmaz

Χαρτόδετο

16.20 €

LA CONJUGALITE Jonckheere

Χαρτόδετο

24.10 €

Le Nouveau Code Civil Roumain Mircea Du u

Χαρτόδετο

34.93 €

El centre comercial TERESA SOLER

Χαρτόδετο

3.64 €

Die Schuldscheindarlehen Walter Staehle

Χαρτόδετο

67.55 €

Wehrlose Ilse Frapan

Σκληρόδετο

49.01 €

Sbírka řešených úloh z fyziky pro střední školy III. Karel Bartuška

Χαρτόδετο

8.09 €

Superar el cáncer : un programa para afrontar un diagnóstico de cáncer Margie Levine

Χαρτόδετο

18.12 €

Gramática y ortografía para Secundaria

Χαρτόδετο

30.68 €

Labyrinthe Kate Mosse

Χαρτόδετο

16.09 €

This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.

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

EWA KASP για

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

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

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

Πλήρες όνομα Logical Frameworks

Συγγραφέας Gerard HuetG. Plotkin

Γλώσσα

Αγγλική

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

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

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

EAN 9780521413008

ISBN 0521413001

Κωδικός Libristo 02030023

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

Βάρος 78

Διαστάσεις 152 x 229 x 27

Κατηγορία

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general

Computing & Information Technology > Computer science > Mathematical theory of computation

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

Είναι εύκολο

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