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

    Trefferliste "Theorem Proving" - alle Bücher

    Wir konnten keine exakten Treffer zu Ihrer Suche nach "theorem proving" finden. Könnten diese Produkte zu Ihrer Suche passen?

    Ansicht:

    Frontiers of Combining Systems

    Lecture Notes in Computer Science - Band 15979, Lecture Notes in Artificial Intelligence

    This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29--October 1, 2…

    lieferbar ab 13.10.2025.
    Buch
    Aktueller Preis: EUR 43,80

    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 23.9.2025.
    Buch
    Aktueller Preis: EUR 104,69

    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 97,88

    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.