

Automated Theorem Proving: A Logical Basis
- Författare
- D.W. Loveland
- ISBN
- 9781483296777
- Språk
- Engelska
- Utgivningsdatum
- 2016-08-19
- Förlag
- ELSEVIER SCIENCE
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
