Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Bücher von Domenico Cantone

Filter
Filter
Ordnen nachSortieren Beliebt
  • von Domenico Cantone & Pietro Ursino
    49,00 - 75,00 €

    This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications.

  • - Applying Formalized Logic to Analysis
    von Domenico Cantone, Jacob T. Schwartz & Eugenio G. Omodeo
    48,00 - 54,00 €

    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.

  • - From Decision Procedures to Declarative Programming with Sets
    von Domenico Cantone, Eugenio Omodeo & Alberto Policriti
    140,00 €

    An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.