Cover Image
Read Now

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Bibliographic Details
Other Authors: Hoos, Holger H. (Editor), Mitchell, David G. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2005, 2005
Edition:1st ed. 2005
Series:Theoretical Computer Science and General Issues
Subjects:
Operating Systems
Numerical Analysis
Mathematical Logic
Operating Systems (computers)
Artificial Intelligence
Algorithms
Formal Languages And Automata Theory
Machine Theory
Mathematical Logic And Foundations
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Description
Physical Description:XIII, 393 p online resource
ISBN:9783540315803

Similar Items