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 FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

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
278.99 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 217.19 lei
La Biodiversite Faunistique Des Dunes Littorales Rachidi-F / Carte Carte broșată
common.buy 178.03 lei
Solunum Sistemi Joseph Midthun / Carte Carte broșată
common.buy 72.70 lei
Edén Stanislaw Lem / Carte Carte broșată
common.buy 96.07 lei
Skepse, a.s. Bo Fowler / Carte Copertă tare
common.buy 5.39 lei
GLOBE 30 CM INCLINE ARGENT CARTO BLANCHE POLITIQUE Carte binding.
common.buy 393.25 lei
GoGo Kluk z internetu Štrauch Daniel GoGo / Carte Carte broșată
common.buy 36.34 lei
società segreta delle Bambine Ribelli. La lettera di Cleopatra Marti Dumas / Carte Copertă tare
common.buy 101.89 lei
Tandem - Maths CP - Fichier de l'élève + Cahier de géométrie Carole Cortay / Carte Carte broșată
common.buy 82.15 lei
Solitéry Vasilij Vasilievič Rozanov / Carte Carte broșată
common.buy 26.79 lei
Dark World 1 & 2, 2 DVDs Aleksand Dorbinian / Videoclip DVD
common.buy 126.51 lei
Tratado de Psiquiatr­a. Tomo I R2003 GELDER / Carte Carte
common.buy 966.00 lei
Pilze und Flechten ? Morphologie, Systematik, Bestimmung Andreas Bresinsky / Carte Copertă tare
common.buy 364.68 lei
Georges Franju - Une esthétique de la destabilisation Gérard Leblanc / Carte Carte broșată
common.buy 104.48 lei
La splendeur escamotée de frère Cheval ou le secret des grottes ornées Jean Rouaud / Carte Carte broșată
common.buy 132.32 lei
Piranhas Saviano / Carte Carte broșată
common.buy 71.56 lei
... wenn ihr die schöne Nachbarin gefällt Sina Kani / Carte Carte broșată
common.buy 84.75 lei
Henosis Eric Schaefer / Audio Audio CD
common.buy 54.32 lei
Top
Klíčem je klid Ryan Holiday / Carte Copertă tare
common.buy 65.33 lei
Valores organizacionais na administracao de uma Universidade Federal Pinto Neto Benjamim / Carte Carte broșată
common.buy 246.58 lei
Schnauze, die Nikoläuse sind los Annette Swoboda / Carte Carte broșată
common.buy 40.91 lei
Gesetz über die Errichtung einer Otto-von-Bismarck-Stiftung Antiphon Verlag / Carte Foaie
common.buy 40.91 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 186.00 lei
Handbook of Separation Process Technology Ronald W. Rousseau / Carte Copertă tare
common.buy 3 016.02 lei
More Vintage Christmas Angels: A Grayscale Adult Coloring Book Vicki Becker / Carte Carte broșată
common.buy 46.94 lei
Japanese Democracy and Lessons for the United States Ray Christensen / Carte Copertă tare
common.buy 996.33 lei
Optimization Models and Methods for Equilibrium Traffic Assignment Alexander Krylatov / Carte Copertă tare
common.buy 964.75 lei
Grace Abounding to the Chief of Sinners John Bunyan / Carte Carte broșată
common.buy 85.48 lei
Top
Rising Of The Shield Hero Volume 09: The Manga Companion Aneko Yusagi / Carte Carte broșată
common.buy 57.12 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 147.70 lei
Malware Data Science Joshua Saxe / Carte Carte broșată
common.buy 236.61 lei
How much do yo know about... Frontenis Wanceulen Notebook / Carte Carte broșată
common.buy 60.34 lei
Bride of Lammermoor Sir Walter Scott / Carte Carte broșată
common.buy 50.78 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 120.90 lei
Evidence-Based Skills in Criminal Justice Pamela Ugwudike / Carte Copertă tare
common.buy 587.28 lei
Target Grade 9 Reading AQA GCSE (9-1) English Language Workbook / Carte Carte broșată
common.buy 67.09 lei
REPORT OF THE SUPERINTENDING S Keene (N H. ). / Carte Carte broșată
common.buy 116.53 lei
Coach for a Nation: The Life and Times of Knute Rockne Jim Lefebvre / Carte Carte broșată
common.buy 102.10 lei
Summer of the Ancient Jodi Lea Stewart / Carte Carte broșată
common.buy 90.67 lei
Curând
Markets in Crypto-Assets Regulation (MiCAR) Philipp Maume / Carte Copertă tare
common.buy 1 325.50 lei
Manly P. Hall All Seeing Eye Manly P. Hall / Carte Copertă tare
common.buy 108.33 lei
Is Justice Real When “Reality” is Not? Katherine Forrest / Carte Carte broșată
common.buy 859.22 lei
Political History of Secession to the Beginning of the American Civil War Daniel Wait Howe / Carte Carte broșată
common.buy 173.46 lei
Soviet Playgrounds Zupagrafika / Carte Copertă tare
common.buy 161.61 lei
International Trade Finance Tarsem Bhogal / E-book Adobe ePub DRM
common.buy 349.10 lei
Maker of Pedigrees Markus Friedrich / Carte Copertă tare
common.buy 343.91 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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?