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 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
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

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Zahnärztliche Implantologie Soniya Gurjar / Knjiga Meki uvez
common.buy 39.24 €
La Biodiversite Faunistique Des Dunes Littorales Rachidi-F / Knjiga Meki uvez
common.buy 32.06 €
Solunum Sistemi Joseph Midthun / Knjiga Meki uvez
common.buy 13.14 €
Edén Stanislaw Lem / Knjiga Meki uvez
common.buy 17.39 €
Skepse, a.s. Bo Fowler / Knjiga Tvrdi uvez
common.buy 1.00 €
GLOBE 30 CM INCLINE ARGENT CARTO BLANCHE POLITIQUE Knjiga binding.
common.buy 71.91 €
GoGo Kluk z internetu Štrauch Daniel GoGo / Knjiga Meki uvez
common.buy 6.16 €
società segreta delle Bambine Ribelli. La lettera di Cleopatra Marti Dumas / Knjiga Tvrdi uvez
common.buy 18.50 €
Tandem - Maths CP - Fichier de l'élève + Cahier de géométrie Carole Cortay / Knjiga Meki uvez
common.buy 14.96 €
Solitéry Vasilij Vasilievič Rozanov / Knjiga Meki uvez
common.buy 4.74 €
Dark World 1 & 2, 2 DVDs Aleksand Dorbinian / Video DVD
common.buy 23.05 €
Tratado de Psiquiatr­a. Tomo I R2003 GELDER / Knjiga Knjiga
common.buy 177.22 €
Pilze und Flechten ? Morphologie, Systematik, Bestimmung Andreas Bresinsky / Knjiga Tvrdi uvez
common.buy 66.05 €
Georges Franju - Une esthétique de la destabilisation Gérard Leblanc / Knjiga Meki uvez
common.buy 19.11 €
La splendeur escamotée de frère Cheval ou le secret des grottes ornées Jean Rouaud / Knjiga Meki uvez
common.buy 24.17 €
Piranhas Saviano / Knjiga Meki uvez
common.buy 13.14 €
... wenn ihr die schöne Nachbarin gefällt Sina Kani / Knjiga Meki uvez
common.buy 15.37 €
Henosis Eric Schaefer / Audio Audio CD
common.buy 9.90 €
Top
Klíčem je klid Ryan Holiday / Knjiga Tvrdi uvez
common.buy 11.72 €
Valores organizacionais na administracao de uma Universidade Federal Pinto Neto Benjamim / Knjiga Meki uvez
common.buy 44.50 €
Schnauze, die Nikoläuse sind los Annette Swoboda / Knjiga Meki uvez
common.buy 7.37 €
Gesetz über die Errichtung einer Otto-von-Bismarck-Stiftung Antiphon Verlag / Knjiga List
common.buy 7.37 €

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.37 €
Handbook of Separation Process Technology Ronald W. Rousseau / Knjiga Tvrdi uvez
common.buy 547.45 €
More Vintage Christmas Angels: A Grayscale Adult Coloring Book Vicki Becker / Knjiga Meki uvez
common.buy 8.59 €
Japanese Democracy and Lessons for the United States Ray Christensen / Knjiga Tvrdi uvez
common.buy 181.26 €
Optimization Models and Methods for Equilibrium Traffic Assignment Alexander Krylatov / Knjiga Tvrdi uvez
common.buy 174.89 €
Grace Abounding to the Chief of Sinners John Bunyan / Knjiga Meki uvez
common.buy 15.67 €
Top
Rising Of The Shield Hero Volume 09: The Manga Companion Aneko Yusagi / Knjiga Meki uvez
common.buy 10.21 €
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 42.37 €
How much do yo know about... Frontenis Wanceulen Notebook / Knjiga Meki uvez
common.buy 11.02 €
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 €
Evidence-Based Skills in Criminal Justice Pamela Ugwudike / Knjiga Tvrdi uvez
common.buy 112.17 €
Target Grade 9 Reading AQA GCSE (9-1) English Language Workbook / Knjiga Meki uvez
common.buy 12.23 €
REPORT OF THE SUPERINTENDING S Keene (N H. ). / Knjiga Meki uvez
common.buy 21.23 €
Coach for a Nation: The Life and Times of Knute Rockne Jim Lefebvre / Knjiga Meki uvez
common.buy 18.30 €
Summer of the Ancient Jodi Lea Stewart / Knjiga Meki uvez
common.buy 16.48 €
Pripremamo
Markets in Crypto-Assets Regulation (MiCAR) Philipp Maume / Knjiga Tvrdi uvez
common.buy 240.24 €
Manly P. Hall All Seeing Eye Manly P. Hall / Knjiga Tvrdi uvez
common.buy 19.41 €
Is Justice Real When “Reality” is Not? Katherine Forrest / Knjiga Meki uvez
common.buy 157.19 €
Political History of Secession to the Beginning of the American Civil War Daniel Wait Howe / Knjiga Meki uvez
common.buy 31.65 €
Top
Soviet Playgrounds Zupagrafika / Knjiga Tvrdi uvez
common.buy 29.43 €
International Trade Finance Tarsem Bhogal / E-knjiga Adobe ePub DRM
common.buy 63.52 €
Maker of Pedigrees Markus Friedrich / Knjiga Tvrdi uvez
common.buy 62.81 €

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
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?