Siirry suoraan sisältöön
  1. Kirjat
  2. Tietokirjallisuus

Automated Theorem Proving

67,90 €

Kirjailija
Wolfgang Bibel
ISBN
9783528085209
Kieli
saksa
Paino
281 grammaa
Julkaisupäivä
1.1.1982
Sivumäärä
292