Gå direkt till innehållet
  1. Böcker
  2. Facklitteratur

Automated Theorem Proving

Författare:
tyska
67,90 €

Författare
Wolfgang Bibel
ISBN
9783528085209
Språk
tyska
Vikt
281 gram
Utgivningsdatum
1.1.1982
Sidor
292