Gå direkte til innholdet
Automated Theorem Proving: A Logical Basis
Automated Theorem Proving: A Logical Basis
Spar

Automated Theorem Proving: A Logical Basis

Forfatter:
Engelsk
Les i Adobe DRM-kompatibelt e-bokleserDenne e-boka er kopibeskyttet med Adobe DRM som påvirker hvor du kan lese den. Les mer
Automated Theorem Proving: A Logical Basis
Forfatter
D.W. Loveland
ISBN
9781483296777
Språk
Engelsk
Utgivelsesdato
19.8.2016
Tilgjengelige elektroniske format
  • PDF - Adobe DRM
Les e-boka her
  • E-bokleser i mobil/nettbrett
  • Lesebrett
  • Datamaskin