Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computational Logic and Set Theory Eugenio G Omodeo
Libristo kod: 09060410
Nakladnici Springer London Ltd, rujan 2014
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and... Cijeli opis
? points 122 b
50.57 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Zahnärztliche Implantologie Soniya Gurjar / Knjiga Meki uvez
common.buy 39.24 €
GLOBE 30 CM INCLINE ARGENT CARTO BLANCHE POLITIQUE Knjiga binding.
common.buy 71.51 €
società segreta delle Bambine Ribelli. La lettera di Cleopatra Marti Dumas / Knjiga Tvrdi uvez
common.buy 18.20 €
250 Jahre Stammbuchgeschichte. Inskriptionen und Bildschmuck Gerhard Seibold / Knjiga Tvrdi uvez
common.buy 297.19 €
Henosis Eric Schaefer / Audio Audio CD
common.buy 9.90 €
Tratado de Psiquiatr­a. Tomo I R2003 GELDER / Knjiga Knjiga
common.buy 177.12 €
Tandem - Maths CP - Fichier de l'élève + Cahier de géométrie Carole Cortay / Knjiga Meki uvez
common.buy 14.66 €
Ratgeber Arbeitszeugnis Michael Mohr / Knjiga Meki uvez
common.buy 9.09 €
Solitéry Vasilij Vasilievič Rozanov / Knjiga Meki uvez
common.buy 4.74 €
GoGo Kluk z internetu Štrauch Daniel GoGo / Knjiga Meki uvez
common.buy 7.27 €
Skepse, a.s. Bo Fowler / Knjiga Tvrdi uvez
common.buy 7.88 €
Dark World 1 & 2, 2 DVDs Aleksand Dorbinian / Video DVD
common.buy 23.05 €
Valores organizacionais na administracao de uma Universidade Federal Pinto Neto Benjamim / Knjiga Meki uvez
common.buy 44.50 €
Edén Stanislaw Lem / Knjiga Meki uvez
common.buy 17.29 €
Solunum Sistemi Joseph Midthun / Knjiga Meki uvez
common.buy 13.14 €
Pilze und Flechten ? Morphologie, Systematik, Bestimmung Andreas Bresinsky / Knjiga Tvrdi uvez
common.buy 66.05 €
Gesetz über die Errichtung einer Otto-von-Bismarck-Stiftung Antiphon Verlag / Knjiga List
common.buy 7.37 €
Top
Klíčem je klid Ryan Holiday / Knjiga Tvrdi uvez
common.buy 11.42 €
... wenn ihr die schöne Nachbarin gefällt Sina Kani / Knjiga Meki uvez
common.buy 15.06 €
Piranhas Saviano / Knjiga Meki uvez
common.buy 12.74 €
La splendeur escamotée de frère Cheval ou le secret des grottes ornées Jean Rouaud / Knjiga Meki uvez
common.buy 23.86 €
Le jour du slip, je porte la culotte Percin / Knjiga Meki uvez
common.buy 10.21 €
Georges Franju - Une esthétique de la destabilisation Gérard Leblanc / Knjiga Meki uvez
common.buy 18.70 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Computational Logic and Set Theory
Autor Eugenio G Omodeo
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2014
Broj stranica 416
EAN 9781447160182
ISBN 9781447160182
Libristo kod 09060410
Nakladnici Springer London Ltd
Težina 659
Dimenzije 155 x 23 x 24

Kategorija

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer science > Mathematical theory of computation
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Engineering Theories of Software Intensive Systems Manfred Broy / Knjiga Tvrdi uvez
common.buy 216.47 €
Handbook of Separation Process Technology Ronald W. Rousseau / Knjiga Tvrdi uvez
common.buy 547.45 €
International Trade Finance Tarsem Bhogal / E-knjiga Adobe ePub DRM
common.buy 64.02 €
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 / Knjiga Tvrdi uvez
common.buy 26.90 €
Malware Data Science Joshua Saxe / Knjiga Meki uvez
common.buy 53.30 €
CAESAR BORGIA: AN HISTORICAL ROMANCE EMMA ROBINSON / Knjiga Tvrdi uvez
common.buy 39.24 €
How much do yo know about... Frontenis Wanceulen Notebook / Knjiga Meki uvez
common.buy 11.02 €
More Vintage Christmas Angels: A Grayscale Adult Coloring Book Vicki Becker / Knjiga Meki uvez
common.buy 8.59 €
Bride of Lammermoor Sir Walter Scott / Knjiga Meki uvez
common.buy 9.20 €
The U.S. - India Relationships: Cross-Sector Collaboration to Promote Sustainable Development U S Army War College Press / Knjiga Meki uvez
common.buy 21.94 €
Puglia William Dello Russo / Knjiga Meki uvez
common.buy 19.51 €
Maker of Pedigrees Markus Friedrich / Knjiga Tvrdi uvez
common.buy 62.81 €
Evidence-Based Skills in Criminal Justice Pamela Ugwudike / Knjiga Tvrdi uvez
common.buy 112.17 €
Happy New Year, Sleepover Club! Fiona Cummings / Knjiga Meki uvez
common.buy 5.65 €
Top
Soviet Playgrounds Zupagrafika / Knjiga Tvrdi uvez
common.buy 23.46 €
Target Grade 9 Reading AQA GCSE (9-1) English Language Workbook / Knjiga Meki uvez
common.buy 12.23 €
Younger Sara Gottfried / Knjiga Meki uvez
common.buy 21.23 €
REPORT OF THE SUPERINTENDING S Keene (N H. ). / Knjiga Meki uvez
common.buy 21.23 €
Political History of Secession to the Beginning of the American Civil War Daniel Wait Howe / Knjiga Meki uvez
common.buy 31.65 €
Is Justice Real When “Reality” is Not? Katherine Forrest / Knjiga Meki uvez
common.buy 157.19 €
Top
Full Stack Recruiter Jan Tegze / Knjiga Meki uvez
common.buy 29.93 €
Sin ELENA M. REYES / Knjiga Meki uvez
common.buy 15.77 €
Summer of the Ancient Jodi Lea Stewart / Knjiga Meki uvez
common.buy 16.48 €
Does Your Community Need Planning?: the Organization and Functions of a Planning and Zoning Commission; No. 103C Maryland State Planning Dept / Knjiga Meki uvez
common.buy 14.56 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun