Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering Forlænget returret til 31/01/25
Sidst søgt på
    Studiebog
    Grundlagen Des Maschinellen Beweisens

    Grundlagen Des Maschinellen Beweisens

    - Eine Einführung Für Informatiker Und Mathematiker

    Af
    Bog E-bog
    • Format
    • Bog, paperback
    • Tysk

    Beskrivelse

    Læs hele beskrivelsen
    Detaljer
    • SprogTysk
    • Sidetal174
    • Udgivelsesdato01-10-1991
    • ISBN139783528147181
    • Forlag Vieweg+teubner Verlag
    • FormatPaperback
    • OriginalsprogTysk
    Størrelse og vægt
    coffee cup img
    10 cm
    book img
    17 cm
    24,4 cm

    Findes i disse kategorier...

    Se andre, der handler om...

    Logik Informatik Mathematik Résolution Theorembeweisen Handwerk Schnittregel Termersetzungssystem Verfahren Termersetzung Programmierung Système Prädikatenlogik erster Stufe Maschine Vollständigkeit
    Machine Name: SAXO084