005.1
SAT 2005 : Satisfiability Research in the Year 2005 / [electronic resource] :
/ edited by Enrico Giunchiglia, Toby Walsh.
.- VII, 293 p.. online resource.
QA76.758
ISBN: 9781402055713
10.1007/978-1-4020-5571-3 doi
Subject Headings:
Computer science.;
Software engineering.;
Computers.;
Artificial intelligence.;
Computer Science.;
Software Engineering/Programming and Operating Systems.;
Artificial Intelligence (incl. Robotics).;
Theory of Computation.;
Author Added Entry:
Giunchiglia, Enrico.;
Walsh, Toby.;
Copy Details:
Acc. No.: EBK278, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------