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

    Valeria De Paiva – alle Bücher

    Ihre Suche nach "Valeria De Paiva" (Bücher) ergab 1 Treffer.

    Ansicht:

    Intelligent Computer Mathematics

    .- Automated Reasoning..- Hammering Higher Order Set Theory..- Synthesis Benchmarks for Automated Reasoning..- Automated Symmetric Constructions in Discrete Geometry..- Formal Libraries..- Growing Mathlib…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 142,37
    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.