Gå direkt till innehållet
Automated Theorem Proving: A Logical Basis
Automated Theorem Proving: A Logical Basis
Spara

Automated Theorem Proving: A Logical Basis

Författare:
Engelska
Lägsta pris på PriceRunner
Läs i Adobe DRM-kompatibel e-boksläsareDen här e-boken är kopieringsskyddad med Adobe DRM vilket påverkar var du kan läsa den. Läs mer
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