Cover Image

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

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Hoos, Holger H. (Editor, http://id.loc.gov/vocabulary/relators/edt), Mitchell, David G. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edition:1st ed. 2005.
Series:Theoretical Computer Science and General Issues ; 3542
Subjects:
Mathematical logic.
Algorithms.
Operating systems (Computers).
Numerical analysis.
Artificial intelligence.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Operating Systems.
Numeric Computing.
Artificial Intelligence.
Mathematical Logic and Foundations.
Online Access:https://doi.org/10.1007/11527695
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://doi.org/10.1007/11527695

Similar Items