Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur
Paperback version af Automated Theorem Proving

Automated Theorem Proving

- After 25 Years

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

Normalpris

kr. 619,95

Medlemspris

kr. 559,95
  • Du sparer kr. 60,00
  • Fri fragt
Som medlem af Saxo Premium 20 timer køber du til medlemspris, får fri fragt og 20 timers streaming/md. i Saxo-appen. De første 7 dage er gratis for nye medlemmer, derefter koster det 99,-/md. og kan altid opsiges. Løbende medlemskab, der forudsætter betaling med kreditkort. Fortrydelsesret i medfør af Forbrugeraftaleloven. Mindstepris 0 kr. Læs mere

Beskrivelse

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

    Anmeldelser

    Vær den første!

    Log ind for at skrive en anmeldelse.

    Findes i disse kategorier...