Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €
phone Kontakt phoneWie einkaufen

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Sprache EnglischEnglisch
Buch Broschur
Buch Computational Logic and Set Theory Eugenio G Omodeo
Libristo-Code: 09060410
Verlag Springer London Ltd, September 2014
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and... Vollständige Beschreibung
? points 122 b
50.55 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Zahnärztliche Implantologie Soniya Gurjar / Buch Broschur
common.buy 39.22 €
La Biodiversite Faunistique Des Dunes Littorales Rachidi-F / Buch Broschur
common.buy 32.04 €
Solunum Sistemi Joseph Midthun / Buch Broschur
common.buy 13.13 €
Edén Stanislaw Lem / Buch Broschur
common.buy 18.29 €
Skepse, a.s. Bo Fowler / Buch Hardcover
common.buy 1.00 €
GLOBE 30 CM INCLINE ARGENT CARTO BLANCHE POLITIQUE Buch binding.
common.buy 75.12 €
GoGo Kluk z internetu Štrauch Daniel GoGo / Buch Broschur
common.buy 6.97 €
società segreta delle Bambine Ribelli. La lettera di Cleopatra Marti Dumas / Buch Hardcover
common.buy 19.40 €
Tandem - Maths CP - Fichier de l'élève + Cahier de géométrie Carole Cortay / Buch Broschur
common.buy 15.76 €
Solitéry Vasilij Vasilievič Rozanov / Buch Broschur
common.buy 5.15 €
Dark World 1 & 2, 2 DVDs Aleksand Dorbinian / Video DVD
common.buy 23.04 €
Tratado de Psiquiatr­a. Tomo I R2003 GELDER / Buch Buch
common.buy 184.42 €
Pilze und Flechten ? Morphologie, Systematik, Bestimmung Andreas Bresinsky / Buch Hardcover
common.buy 66.02 €
Georges Franju - Une esthétique de la destabilisation Gérard Leblanc / Buch Broschur
common.buy 20.01 €
La splendeur escamotée de frère Cheval ou le secret des grottes ornées Jean Rouaud / Buch Broschur
common.buy 25.37 €
Piranhas Saviano / Buch Broschur
common.buy 13.74 €
... wenn ihr die schöne Nachbarin gefällt Sina Kani / Buch Broschur
common.buy 16.27 €
Henosis Eric Schaefer / Audio Audio CD
common.buy 9.90 €
Klíčem je klid Ryan Holiday / Buch Hardcover
common.buy 12.43 €
Valores organizacionais na administracao de uma Universidade Federal Pinto Neto Benjamim / Buch Broschur
common.buy 44.48 €
Schnauze, die Nikoläuse sind los Annette Swoboda / Buch Broschur
common.buy 7.37 €
Gesetz über die Errichtung einer Otto-von-Bismarck-Stiftung Antiphon Verlag / Buch Blatt
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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Computational Logic and Set Theory
Autor Eugenio G Omodeo
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2014
Anzahl der Seiten 416
EAN 9781447160182
ISBN 9781447160182
Libristo-Code 09060410
Verlag Springer London Ltd
Gewicht 659
Abmessungen 155 x 23 x 24

Kategorie

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)
EDV und Informationstechnologie > Informatik > Theoretische Informatik
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Engineering Theories of Software Intensive Systems Manfred Broy / Buch Hardcover
common.buy 226.49 €
Handbook of Separation Process Technology Ronald W. Rousseau / Buch Hardcover
common.buy 547.23 €
More Vintage Christmas Angels: A Grayscale Adult Coloring Book Vicki Becker / Buch Broschur
common.buy 8.99 €
Japanese Democracy and Lessons for the United States Ray Christensen / Buch Hardcover
common.buy 181.19 €
Optimization Models and Methods for Equilibrium Traffic Assignment Alexander Krylatov / Buch Hardcover
common.buy 174.82 €
Grace Abounding to the Chief of Sinners John Bunyan / Buch Broschur
common.buy 16.27 €
Top
Rising Of The Shield Hero Volume 09: The Manga Companion Aneko Yusagi / Buch Broschur
common.buy 10.91 €
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 / Buch Hardcover
common.buy 28.20 €
Malware Data Science Joshua Saxe / Buch Broschur
common.buy 45.19 €
How much do yo know about... Frontenis Wanceulen Notebook / Buch Broschur
common.buy 11.52 €
Bride of Lammermoor Sir Walter Scott / Buch Broschur
common.buy 9.70 €
The U.S. - India Relationships: Cross-Sector Collaboration to Promote Sustainable Development U S Army War College Press / Buch Broschur
common.buy 23.04 €
Evidence-Based Skills in Criminal Justice Pamela Ugwudike / Buch Hardcover
common.buy 122.34 €
Target Grade 9 Reading AQA GCSE (9-1) English Language Workbook / Buch Broschur
common.buy 12.22 €
REPORT OF THE SUPERINTENDING S Keene (N H. ). / Buch Broschur
common.buy 22.24 €
Coach for a Nation: The Life and Times of Knute Rockne Jim Lefebvre / Buch Broschur
common.buy 19.51 €
Summer of the Ancient Jodi Lea Stewart / Buch Broschur
common.buy 17.28 €
Demnächst
Markets in Crypto-Assets Regulation (MiCAR) Philipp Maume / Buch Hardcover
common.buy 240.14 €
Manly P. Hall All Seeing Eye Manly P. Hall / Buch Hardcover
common.buy 20.72 €
Is Justice Real When “Reality” is Not? Katherine Forrest / Buch Broschur
common.buy 164.10 €
Political History of Secession to the Beginning of the American Civil War Daniel Wait Howe / Buch Broschur
common.buy 33.16 €
Top
Soviet Playgrounds Zupagrafika / Buch Hardcover
common.buy 30.83 €
International Trade Finance Tarsem Bhogal / E-Book Adobe ePub DRM
common.buy 66.63 €
Maker of Pedigrees Markus Friedrich / Buch Hardcover
common.buy 65.71 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?