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
    Automated Theorem Proving

    Automated Theorem Proving

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

    Beskrivelse

    Læs hele beskrivelsen
    Detaljer
    • SprogEngelsk
    • Sidetal304
    • Udgivelsesdato01-01-1987
    • ISBN139783528185206
    • Forlag Vieweg-Teubner
    • FormatPaperback
    Størrelse og vægt
  • Vægt528 g
  • Dybde1,7 cm
    • coffee cup img
    10 cm
    book img
    17 cm
    24,4 cm

    Findes i disse kategorier...

    Machine Name: SAXO082