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

Fundamental Studies in Computer Science

Författare:
engelska
81,10 €

Automated Theorem Proving: A Logical Basis

Författare
D.W. Loveland
ISBN
9781483296777
Språk
engelska
Utgivningsdatum
19.8.2016