Cover Image
Read Now

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

Bibliographic Details
Other Authors: Giunchiglia, Enrico (Editor), Tacchella, Armando (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2004, 2004
Edition:1st ed. 2004
Series:Lecture Notes in Computer Science
Subjects:
Numerical Analysis
Mathematical Logic
Artificial Intelligence
Algorithms
Formal Languages And Automata Theory
Machine Theory
Mathematical Logic And Foundations
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Description
Physical Description:XI, 530 p online resource
ISBN:9783540246053

Similar Items