0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen

    Trefferliste "Theorem Proving" - alle Bücher

    Ihre Suche nach "Theorem Proving" (Bücher) ergab 5 Treffer.

    Ansicht:

    David A. Cox, Donal O'Shea, John Little
    Ideals, Varieties, and Algorithms

    This text covers topics in algebraic geometry and commutative algebra with careful attention to their practical and computational aspects. The first four chapters form the core of the book. A comprehensiv…

    lieferbar ab 11.8.2025.
    Buch
    Aktueller Preis: EUR 105,28

    Automated Reasoning

    Infotext (nur auf Basis des Vorgängers):This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, Fra…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    Automated Reasoning

    This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full r…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    Nicholas M Katz, Pham Huu Tiep
    Exponential Sums, Hypergeometric Sheaves, and Monodromy Groups

    An examination of some of the remarkable connections between group theory and arithmetic algebraic geometry over finite fieldsExponential sums have been of great interest ever since Gauss, and their impor…

    lieferbar innerhalb 1-2 Wochen
    Buch
    Aktueller Preis: EUR 95,35

    Nicholas M Katz, Pham Huu Tiep
    Exponential Sums, Hypergeometric Sheaves, and Monodromy Groups

    An examination of some of the remarkable connections between group theory and arithmetic algebraic geometry over finite fieldsExponential sums have been of great interest ever since Gauss, and their impor…

    lieferbar innerhalb 1-2 Wochen
    Buch
    Aktueller Preis: EUR 210,28
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.