Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με 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 Επικοινωνία phoneΠώς να κάνετε αγορές;

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Computational Logic and Set Theory Eugenio G Omodeo
Κωδικός Libristo: 09060410
ΕΕκδοτικός οίκος Springer London Ltd, Σεπτέμβριος 2014
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and... Πλήρης περιγραφή
? points 122 b
50.42 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

GoGo Kluk z internetu Štrauch Daniel GoGo / Βιβλίο Χαρτόδετο
common.buy 6.95 €
Edén Stanislaw Lem / Βιβλίο Χαρτόδετο
common.buy 18.25 €
250 Jahre Stammbuchgeschichte. Inskriptionen und Bildschmuck Gerhard Seibold / Βιβλίο Σκληρόδετο
common.buy 286.25 €
Dark World 1 & 2, 2 DVDs Aleksand Dorbinian / Video DVD
common.buy 22.99 €
Tandem - Maths CP - Fichier de l'élève + Cahier de géométrie Carole Cortay / Βιβλίο Χαρτόδετο
common.buy 15.52 €
società segreta delle Bambine Ribelli. La lettera di Cleopatra Marti Dumas / Βιβλίο Σκληρόδετο
common.buy 19.36 €
Zahnärztliche Implantologie Soniya Gurjar / Βιβλίο Χαρτόδετο
common.buy 39.13 €
Skepse, a.s. Bo Fowler / Βιβλίο Σκληρόδετο
common.buy 1.00 €
Solitéry Vasilij Vasilievič Rozanov / Βιβλίο Χαρτόδετο
common.buy 5.13 €
GLOBE 30 CM INCLINE ARGENT CARTO BLANCHE POLITIQUE Βιβλίο binding.
common.buy 74.83 €
Tratado de Psiquiatr­a. Tomo I R2003 GELDER / Βιβλίο Βιβλίο
common.buy 183.97 €
Pilze und Flechten ? Morphologie, Systematik, Bestimmung Andreas Bresinsky / Βιβλίο Σκληρόδετο
common.buy 65.85 €
Georges Franju - Une esthétique de la destabilisation Gérard Leblanc / Βιβλίο Χαρτόδετο
common.buy 19.86 €
Le jour du slip, je porte la culotte Percin / Βιβλίο Χαρτόδετο
common.buy 10.58 €
La splendeur escamotée de frère Cheval ou le secret des grottes ornées Jean Rouaud / Βιβλίο Χαρτόδετο
common.buy 25.21 €
Piranhas Saviano / Βιβλίο Χαρτόδετο
common.buy 13.61 €
... wenn ihr die schöne Nachbarin gefällt Sina Kani / Βιβλίο Χαρτόδετο
common.buy 16.13 €
Τοπ
Klíčem je klid Ryan Holiday / Βιβλίο Σκληρόδετο
common.buy 12.40 €
Schnauze, die Nikoläuse sind los Annette Swoboda / Βιβλίο Χαρτόδετο
common.buy 7.35 €
Gesetz über die Errichtung einer Otto-von-Bismarck-Stiftung Antiphon Verlag / Βιβλίο Λίστα
common.buy 7.35 €
Valores organizacionais na administracao de uma Universidade Federal Pinto Neto Benjamim / Βιβλίο Χαρτόδετο
common.buy 44.37 €
La Biodiversite Faunistique Des Dunes Littorales Rachidi-F / Βιβλίο Χαρτόδετο
common.buy 31.96 €
Henosis Eric Schaefer / Audio Audio CD
common.buy 9.87 €
Solunum Sistemi Joseph Midthun / Βιβλίο Χαρτόδετο
common.buy 13.10 €

This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the AetnaNova system, a program built to verify the correctness of mathematical proofs.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

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

Πλήρες όνομα Computational Logic and Set Theory
Συγγραφέας Eugenio G Omodeo
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2014
Αριθμός σελίδων 416
EAN 9781447160182
ISBN 9781447160182
Κωδικός Libristo 09060410
ΕΕκδοτικός οίκος Springer London Ltd
Βάρος 659
Διαστάσεις 155 x 23 x 24

Κατηγορία

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer science > Mathematical theory of computation
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Engineering Theories of Software Intensive Systems Manfred Broy / Βιβλίο Σκληρόδετο
common.buy 225.93 €
Handbook of Separation Process Technology Ronald W. Rousseau / Βιβλίο Σκληρόδετο
common.buy 545.87 €
How much do yo know about... Frontenis Wanceulen Notebook / Βιβλίο Χαρτόδετο
common.buy 11.49 €
IQ Puzzle For Adults Orlando Parker / Βιβλίο Χαρτόδετο
common.buy 11.09 €
Japanese Democracy and Lessons for the United States Ray Christensen / Βιβλίο Σκληρόδετο
common.buy 180.74 €
Optimization Models and Methods for Equilibrium Traffic Assignment Alexander Krylatov / Βιβλίο Σκληρόδετο
common.buy 174.39 €
Grace Abounding to the Chief of Sinners John Bunyan / Βιβλίο Χαρτόδετο
common.buy 16.23 €
Τοπ
Rising Of The Shield Hero Volume 09: The Manga Companion Aneko Yusagi / Βιβλίο Χαρτόδετο
common.buy 10.78 €
ACT for Dividing and Inclosing the Common Fields, and Common Pasture, Common Meadow, Common Grounds and Waste Grounds in the Manor and Lordship of Car MULTIPLE CONTRIBUTOR / Βιβλίο Σκληρόδετο
common.buy 28.13 €
Malware Data Science Joshua Saxe / Βιβλίο Χαρτόδετο
common.buy 53.65 €
CAESAR BORGIA: AN HISTORICAL ROMANCE EMMA ROBINSON / Βιβλίο Σκληρόδετο
common.buy 41.04 €
More Vintage Christmas Angels: A Grayscale Adult Coloring Book Vicki Becker / Βιβλίο Χαρτόδετο
common.buy 8.97 €
Bride of Lammermoor Sir Walter Scott / Βιβλίο Χαρτόδετο
common.buy 9.67 €
The U.S. - India Relationships: Cross-Sector Collaboration to Promote Sustainable Development U S Army War College Press / Βιβλίο Χαρτόδετο
common.buy 22.99 €
Evidence-Based Skills in Criminal Justice Pamela Ugwudike / Βιβλίο Σκληρόδετο
common.buy 122.04 €
Happy New Year, Sleepover Club! Fiona Cummings / Βιβλίο Χαρτόδετο
common.buy 5.64 €
Target Grade 9 Reading AQA GCSE (9-1) English Language Workbook / Βιβλίο Χαρτόδετο
common.buy 12.19 €
Younger Sara Gottfried / Βιβλίο Χαρτόδετο
common.buy 21.17 €
REPORT OF THE SUPERINTENDING S Keene (N H. ). / Βιβλίο Χαρτόδετο
common.buy 22.18 €
Does Your Community Need Planning?: the Organization and Functions of a Planning and Zoning Commission; No. 103C Maryland State Planning Dept / Βιβλίο Χαρτόδετο
common.buy 15.22 €
Προετοιμαζουμε
Markets in Crypto-Assets Regulation (MiCAR) Philipp Maume / Βιβλίο Σκληρόδετο
common.buy 239.55 €
Manly P. Hall All Seeing Eye Manly P. Hall / Βιβλίο Σκληρόδετο
common.buy 20.67 €
Anyway, I'm Falling in Love with You. 1 V01 / Βιβλίο Χαρτόδετο
common.buy 11.99 €
Is Justice Real When “Reality” is Not? Katherine Forrest / Βιβλίο Χαρτόδετο
common.buy 163.69 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;