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

Automated Theorem Proving: A Logical Basis e-bog

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

Automated Theorem Proving: A Logical Basis