Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering Forlænget returret til 31/01/25
Sidst søgt på
    Automated Theorem Proving

    Automated Theorem Proving

    - After 25 Years

    Forfatter: info mangler
    Bog
    • Format
    • Bog, paperback
    • Engelsk

    Beskrivelse

    Læs hele beskrivelsen
    Detaljer
    Størrelse og vægt
  • Vægt510 g
    • coffee cup img
    10 cm
    book img
    17,8 cm
    26 cm

    Findes i disse kategorier...

    Machine Name: SAXO082