Automated Theorem ProvingAfter 25 YearsAvW. W Bledsoe,Donald W. LovelandHäftad, Engelska, 1984787 kr Lägg i varukorgLägg tillSkickas