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

Fundamental Studies in Computer Science

Författare:
engelska
858 kr
Lägsta pris på PriceRunner

Automated Theorem Proving: A Logical Basis

Författare
D.W. Loveland
ISBN
9781483296777
Språk
engelska
Utgivningsdatum
2016-08-19
Tillgängliga elektroniska format
  • PDF - Adobe DRM
Läs e-boken här
  • E-boksläsare i mobil/surfplatta
  • Läsplatta
  • Dator