Marknadens största urval
Snabb leverans

Böcker av Domenico Cantone

Filter
Filter
Sortera efterSortera Populära
  • av Domenico Cantone & Pietro Ursino
    795,-

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

  • - Applying Formalized Logic to Analysis
    av Domenico Cantone, Jacob T. Schwartz & Eugenio G. Omodeo
    1 095,-

    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.

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.