MPG.eBooks - Search Results - "Logic, Symbolic And Mathematical"

Search alternatives:
mathematical » mathematics

Cover Image

1

Theory and Applications of Satisfiability Testing : 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers

by Giunchiglia, Enrico
Published 2004

Springer Berlin Heidelberg

Subjects: “...Logic, Symbolic and mathematical...”