AUTOMATED REASONING IN COMPUTER SCIENCE: SAT Solving Constraint Systems Symbolic Methods Logical Inference and Intelligent Verification
Fråga om produktenJämför priser och butiker
4.2
(157)
AUTOMATED REASONING IN COMPUTER SCIENCE: SAT Solving Constraint Systems Symbolic Methods Logical Inference and Intelligent Verification
131 kr
I lager
Vi har hittat produkten i totalt 1 butik, varav 1 är partnerbutiker hos Prisjakt och har direktlänk till butiken. Hur vi visar priser och butiker.
Insikter
Vi har inga insikter för den här produkten ännu.
Prishistorik
Grafen visar lägsta pris över tid för den variant (såsom färg eller storlek) som varit billigast vid varje tidpunkt. Frakt och begagnat ingår inte. Läs mer om prishistoriken.
Produktinformation
Det billigaste priset för AUTOMATED REASONING IN COMPUTER SCIENCE: SAT Solving Constraint Systems Symbolic Methods Logical Inference and Intelligent Verification just nu är 131 kr. Prisjakt jämför priser och erbjudande från nätbutiker och fysiska butiker.
Grundläggande information
Produktnamn
AUTOMATED REASONING IN COMPUTER SCIENCE: SAT Solving Constraint Systems Symbolic Methods Logical Inference and Intelligent Verification
Kategori
