Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Limba englezăengleză
Carte Carte broșată
Carte Computational Logic and Set Theory Eugenio G Omodeo
Codul Libristo: 09060410
Editura Springer London Ltd, septembrie 2014
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and... Descrierea completă
? points 129 b
280.81 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Zahnärztliche Implantologie Soniya Gurjar / Carte Carte broșată
common.buy 218.60 lei
GLOBE 30 CM INCLINE ARGENT CARTO BLANCHE POLITIQUE Carte binding.
common.buy 394.25 lei
società segreta delle Bambine Ribelli. La lettera di Cleopatra Marti Dumas / Carte Copertă tare
common.buy 100.99 lei
250 Jahre Stammbuchgeschichte. Inskriptionen und Bildschmuck Gerhard Seibold / Carte Copertă tare
common.buy 1 648.85 lei
Henosis Eric Schaefer / Audio Audio CD
common.buy 54.67 lei
Tratado de Psiquiatr­a. Tomo I R2003 GELDER / Carte Carte
common.buy 972.73 lei
Tandem - Maths CP - Fichier de l'élève + Cahier de géométrie Carole Cortay / Carte Carte broșată
common.buy 80.81 lei
Ratgeber Arbeitszeugnis Michael Mohr / Carte Carte broșată
common.buy 50.91 lei
Solitéry Vasilij Vasilievič Rozanov / Carte Carte broșată
common.buy 26.96 lei
GoGo Kluk z internetu Štrauch Daniel GoGo / Carte Carte broșată
common.buy 42.23 lei
Skepse, a.s. Bo Fowler / Carte Copertă tare
common.buy 5.43 lei
Dark World 1 & 2, 2 DVDs Aleksand Dorbinian / Videoclip DVD
common.buy 127.33 lei
Valores organizacionais na administracao de uma Universidade Federal Pinto Neto Benjamim / Carte Carte broșată
common.buy 248.19 lei
Edén Stanislaw Lem / Carte Carte broșată
common.buy 96.91 lei
Solunum Sistemi Joseph Midthun / Carte Carte broșată
common.buy 73.17 lei
Pilze und Flechten ? Morphologie, Systematik, Bestimmung Andreas Bresinsky / Carte Copertă tare
common.buy 367.07 lei
Gesetz über die Errichtung einer Otto-von-Bismarck-Stiftung Antiphon Verlag / Carte Foaie
common.buy 41.18 lei
Top
Klíčem je klid Ryan Holiday / Carte Copertă tare
common.buy 63.76 lei
... wenn ihr die schöne Nachbarin gefällt Sina Kani / Carte Carte broșată
common.buy 84.88 lei
Piranhas Saviano / Carte Carte broșată
common.buy 70.56 lei
La splendeur escamotée de frère Cheval ou le secret des grottes ornées Jean Rouaud / Carte Carte broșată
common.buy 131.72 lei
Le jour du slip, je porte la culotte Percin / Carte Carte broșată
common.buy 56.55 lei
Georges Franju - Une esthétique de la destabilisation Gérard Leblanc / Carte Carte broșată
common.buy 103.39 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Computational Logic and Set Theory
Autor Eugenio G Omodeo
Limba engleză
Legare Carte - Carte broșată
Data publicării 2014
Număr pagini 416
EAN 9781447160182
ISBN 9781447160182
Codul Libristo 09060410
Editura Springer London Ltd
Greutatea 659
Dimensiuni 155 x 23 x 24

Categorii

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer science > Mathematical theory of computation
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Engineering Theories of Software Intensive Systems Manfred Broy / Carte Copertă tare
common.buy 1 193.75 lei
Handbook of Separation Process Technology Ronald W. Rousseau / Carte Copertă tare
common.buy 3 035.51 lei
International Trade Finance Tarsem Bhogal / E-book Adobe ePub DRM
common.buy 353.79 lei
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 / Carte Copertă tare
common.buy 148.66 lei
Malware Data Science Joshua Saxe / Carte Carte broșată
common.buy 296.49 lei
CAESAR BORGIA: AN HISTORICAL ROMANCE EMMA ROBINSON / Carte Copertă tare
common.buy 216.62 lei
How much do yo know about... Frontenis Wanceulen Notebook / Carte Carte broșată
common.buy 60.73 lei
More Vintage Christmas Angels: A Grayscale Adult Coloring Book Vicki Becker / Carte Carte broșată
common.buy 47.25 lei
Bride of Lammermoor Sir Walter Scott / Carte Carte broșată
common.buy 51.11 lei
The U.S. - India Relationships: Cross-Sector Collaboration to Promote Sustainable Development U S Army War College Press / Carte Carte broșată
common.buy 121.69 lei
Puglia William Dello Russo / Carte Carte broșată
common.buy 109.77 lei
Maker of Pedigrees Markus Friedrich / Carte Copertă tare
common.buy 346.16 lei
Evidence-Based Skills in Criminal Justice Pamela Ugwudike / Carte Copertă tare
common.buy 591.12 lei
Happy New Year, Sleepover Club! Fiona Cummings / Carte Carte broșată
common.buy 31.35 lei
Top
Soviet Playgrounds Zupagrafika / Carte Copertă tare
common.buy 131.30 lei
Target Grade 9 Reading AQA GCSE (9-1) English Language Workbook / Carte Carte broșată
common.buy 67.01 lei
Younger Sara Gottfried / Carte Carte broșată
common.buy 119.07 lei
REPORT OF THE SUPERINTENDING S Keene (N H. ). / Carte Carte broșată
common.buy 117.30 lei
Political History of Secession to the Beginning of the American Civil War Daniel Wait Howe / Carte Carte broșată
common.buy 174.59 lei
Is Justice Real When “Reality” is Not? Katherine Forrest / Carte Carte broșată
common.buy 864.83 lei
Top
Full Stack Recruiter Jan Tegze / Carte Carte broșată
common.buy 166.54 lei
Sin ELENA M. REYES / Carte Carte broșată
common.buy 87.29 lei
Summer of the Ancient Jodi Lea Stewart / Carte Carte broșată
common.buy 91.26 lei
Does Your Community Need Planning?: the Organization and Functions of a Planning and Zoning Commission; No. 103C Maryland State Planning Dept / Carte Carte broșată
common.buy 80.60 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo