SPRINGER-VERLAG NEW YORK INC.First-Order Logic and Automated Theorem Proving
Beste pris fra kr 938 og finnes i 1 butikk.
Populære alternativer
Populære merker innen Bøker
Prishistorikk
Prisvarsel
Meld deg opp til prisvarsel og få beskjed med en gang prisen synker.
kr
Strekkoder
GTIN
9781461275152
