Número de Cutter-SanbornG896aEntrada «Gu» → 896 · marca de obra “a”

Algorithms for the Satisfiability Problem

Name: Algorithms for the Satisfiability Problem
ISBN: 9780521640411

Autor	Jun Gu, Paul Purdom, John Franco, Benjamin W. Wah
Editorial	Cambridge University Press
Fecha de publicación	2008
Idioma	inglés
ISBN-13	9780521640411
Número de Cutter	`G896a`

Algorithms for the Satisfiability Problem (2008) — ISBN 9780521640411 | Cutter Number