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
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €
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 109 b
44.39 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Zahnärztliche Implantologie Soniya Gurjar / Buch Broschur
common.buy 43.90 €
GLOBE 30 CM INCLINE ARGENT CARTO BLANCHE POLITIQUE Buch binding.
common.buy 61.19 €
società segreta delle Bambine Ribelli. La lettera di Cleopatra Marti Dumas / Buch Hardcover
common.buy 15.19 €
250 Jahre Stammbuchgeschichte. Inskriptionen und Bildschmuck Gerhard Seibold / Buch Hardcover
common.buy 300.00 €
Henosis Eric Schaefer / Audio Audio CD
common.buy 8.99 €
Tratado de Psiquiatr­a. Tomo I R2003 GELDER / Buch Buch
common.buy 153.29 €
Tandem - Maths CP - Fichier de l'élève + Cahier de géométrie Carole Cortay / Buch Broschur
common.buy 12.59 €
Ratgeber Arbeitszeugnis Michael Mohr / Buch Broschur
common.buy 9.99 €
Solitéry Vasilij Vasilievič Rozanov / Buch Broschur
common.buy 4.49 €
GoGo Kluk z internetu Štrauch Daniel GoGo / Buch Broschur
common.buy 5.09 €
Skepse, a.s. Bo Fowler / Buch Hardcover
common.buy 0.89 €
Dark World 1 & 2, 2 DVDs Aleksand Dorbinian / Video DVD
common.buy 21.99 €
Valores organizacionais na administracao de uma Universidade Federal Pinto Neto Benjamim / Buch Broschur
common.buy 38.89 €
Edén Stanislaw Lem / Buch Broschur
common.buy 14.49 €
Solunum Sistemi Joseph Midthun / Buch Broschur
common.buy 11.69 €
Pilze und Flechten ? Morphologie, Systematik, Bestimmung Andreas Bresinsky / Buch Hardcover
common.buy 69.99 €
Gesetz über die Errichtung einer Otto-von-Bismarck-Stiftung Antiphon Verlag / Buch Blatt
common.buy 7.99 €
Günstig
Klíčem je klid Ryan Holiday / Buch Hardcover
common.buy 9.59 €
... wenn ihr die schöne Nachbarin gefällt Sina Kani / Buch Broschur
common.buy 15.90 €
Piranhas Saviano / Buch Broschur
common.buy 10.99 €
La splendeur escamotée de frère Cheval ou le secret des grottes ornées Jean Rouaud / Buch Broschur
common.buy 20.49 €
Le jour du slip, je porte la culotte Percin / Buch Broschur
common.buy 8.99 €
Georges Franju - Une esthétique de la destabilisation Gérard Leblanc / Buch Broschur
common.buy 16.09 €

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 193.69 €
Handbook of Separation Process Technology Ronald W. Rousseau / Buch Hardcover
common.buy 484.19 €
International Trade Finance Tarsem Bhogal / E-Book Adobe ePub DRM
common.buy 57.29 €
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 22.69 €
Malware Data Science Joshua Saxe / Buch Broschur
common.buy 46.89 €
CAESAR BORGIA: AN HISTORICAL ROMANCE EMMA ROBINSON / Buch Hardcover
common.buy 33.09 €
How much do yo know about... Frontenis Wanceulen Notebook / Buch Broschur
common.buy 11.39 €
More Vintage Christmas Angels: A Grayscale Adult Coloring Book Vicki Becker / Buch Broschur
common.buy 8.89 €
Bride of Lammermoor Sir Walter Scott / Buch Broschur
common.buy 9.59 €
The U.S. - India Relationships: Cross-Sector Collaboration to Promote Sustainable Development U S Army War College Press / Buch Broschur
common.buy 18.39 €
Puglia William Dello Russo / Buch Broschur
common.buy 16.79 €
Maker of Pedigrees Markus Friedrich / Buch Hardcover
common.buy 56.29 €
Evidence-Based Skills in Criminal Justice Pamela Ugwudike / Buch Hardcover
common.buy 100.79 €
Happy New Year, Sleepover Club! Fiona Cummings / Buch Broschur
common.buy 5.09 €
Top
Soviet Playgrounds Zupagrafika / Buch Hardcover
common.buy 18.79 €
Target Grade 9 Reading AQA GCSE (9-1) English Language Workbook / Buch Broschur
common.buy 10.89 €
Younger Sara Gottfried / Buch Broschur
common.buy 18.19 €
REPORT OF THE SUPERINTENDING S Keene (N H. ). / Buch Broschur
common.buy 17.89 €
Political History of Secession to the Beginning of the American Civil War Daniel Wait Howe / Buch Broschur
common.buy 26.69 €
Is Justice Real When “Reality” is Not? Katherine Forrest / Buch Broschur
common.buy 134.79 €
Full Stack Recruiter Jan Tegze / Buch Broschur
common.buy 24.49 €
Sin ELENA M. REYES / Buch Broschur
common.buy 13.19 €
Summer of the Ancient Jodi Lea Stewart / Buch Broschur
common.buy 13.89 €
Does Your Community Need Planning?: the Organization and Functions of a Planning and Zoning Commission; No. 103C Maryland State Planning Dept / Buch Broschur
common.buy 12.29 €

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?