Saxo Access
Indkøbskurv
  3. Automated Theorem Proving: A Logical Basis
Automated Theorem Proving: A Logical Basis (e-bog) af Loveland, D.W.
Loveland, D.W. (forfatter)

Automated Theorem Proving: A Logical Basis e-bog

473,39 DKK (inkl. moms 591,74 DKK)
Automated Theorem Proving: A Logical Basis
E-bog 473,39 DKK
Kan læses i vores apps til iPhone/iPad og Android.
Forfattere Loveland, D.W. (forfatter)
Forlag North Holland
Udgivet 19 august 2016
Længde 418 sider
Genrer PBD
Sprog English
Format pdf
Beskyttelse LCP
ISBN 9781483296777

Beskrivelse

Automated Theorem Proving: A Logical Basis