Siirry suoraan sisältöön
  1. Kirjat
  2. Englanninkieliset kirjat

Fundamental Studies in Computer Science

81,10 €

Automated Theorem Proving: A Logical Basis

Kirjailija
D.W. Loveland
ISBN
9781483296777
Kieli
englanti
Julkaisupäivä
19.8.2016
Formaatti
  • PDF - Adobe DRM
Lue e-kirjoja täällä
  • Lue e-kirja mobiililaitteella/tabletilla
  • Lukulaite
  • Tietokone