Your search returned 2 results.

Not what you expected? Check for suggestions
BOOKS
Theory and applications of satisfiability testing

by Giunchiglia, Enrico | Tacchella, Armando Eds.

Series: Lecture notes in computer science ; 02919Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 28 Call number: 681 LNCS.

E-BOOKS
Theory and Applications of Satisfiability Testing [electronic resource] : 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers / edited by Enrico Giunchiglia, Armando Tacchella.

by Giunchiglia, Enrico [editor.] | Tacchella, Armando [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2919Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha