Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Computational Logic and Set Theory

Name: Computational Logic and Set Theory
Brand: Springer London Ltd
SKU: 09060410
Price: 50.44 EUR
Availability: InStock
Author: Eugenio G Omodeo
ISBN: 9781447160182

Applying Formalized Logic to Analysis

Eugenio G Omodeo

Sprache

Englisch

Buch Broschur

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

Libristo-Code: 09060410

122 b

50.44 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

GoGo Kluk z internetu Štrauch Daniel GoGo

Broschur

7.96 €

Edén Stanislaw Lem

Broschur

18.25 €

250 Jahre Stammbuchgeschichte. Inskriptionen und Bildschmuck Gerhard Seibold

Hardcover

312.20 €

Dark World 1 & 2, 2 DVDs Aleksand Dorbinian

DVD

23.00 €

Tandem - Maths CP - Fichier de l'élève + Cahier de géométrie Carole Cortay

Broschur

15.43 €

società segreta delle Bambine Ribelli. La lettera di Cleopatra Marti Dumas

Hardcover

19.16 €

Zahnärztliche Implantologie Soniya Gurjar

Broschur

39.14 €

Skepse, a.s. Bo Fowler

Hardcover

1.00 €

Solitéry Vasilij Vasilievič Rozanov

Broschur

5.14 €

GLOBE 30 CM INCLINE ARGENT CARTO BLANCHE POLITIQUE Buch

binding.

74.66 €

Tratado de Psiquiatra. Tomo I R2003 GELDER

Buch

184.25 €

Pilze und Flechten ? Morphologie, Systematik, Bestimmung Andreas Bresinsky

Hardcover

65.88 €

Georges Franju - Une esthétique de la destabilisation Gérard Leblanc

Broschur

19.67 €

Le jour du slip, je porte la culotte Percin

Broschur

10.69 €

La splendeur escamotée de frère Cheval ou le secret des grottes ornées Jean Rouaud

Broschur

25.02 €

Piranhas Saviano

Broschur

13.41 €

... wenn ihr die schöne Nachbarin gefällt Sina Kani

Broschur

16.14 €

Klíčem je klid Ryan Holiday

Hardcover

9.68 €

Schnauze, die Nikoläuse sind los Annette Swoboda

Broschur

7.36 €

Gesetz über die Errichtung einer Otto-von-Bismarck-Stiftung Antiphon Verlag

Blatt

7.36 €

Valores organizacionais na administracao de uma Universidade Federal Pinto Neto Benjamim

Broschur

44.39 €

La Biodiversite Faunistique Des Dunes Littorales Rachidi-F

Broschur

31.98 €

Henosis Eric Schaefer

Audio CD

9.88 €

Solunum Sistemi Joseph Midthun

Broschur

13.11 €

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

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

Hardcover

226.02 €

Handbook of Separation Process Technology Ronald W. Rousseau

Hardcover

546.10 €

How much do yo know about... Frontenis Wanceulen Notebook

Broschur

11.49 €

IQ Puzzle For Adults Orlando Parker

Broschur

11.09 €

Japanese Democracy and Lessons for the United States Ray Christensen

Hardcover

203.02 €

Optimization Models and Methods for Equilibrium Traffic Assignment Alexander Krylatov

Hardcover

174.46 €

Grace Abounding to the Chief of Sinners John Bunyan

Broschur

16.24 €

Rising Of The Shield Hero Volume 09: The Manga Companion Aneko Yusagi

Broschur

10.79 €

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

Hardcover

28.14 €