ISBN 9783540797180,Theory and Applications of Satisfiability Testing - SAT 2008

Theory and Applications of Satisfiability Testing - SAT 2008

Rs5207

Publisher

Ingram Publisher Services

Publication Year 2008
ISBN-13

ISBN 9783540797180

ISBN-10 3540797181
Binding

Paperback

Number of Pages 324 Pages
Subject

Mathematical logic

N.A.
Scroll