SAT 2005 [electronic resource] : Satisfiability Research in the Year 2005 / edited by Enrico Giunchiglia, Toby Walsh.
By: Giunchiglia, Enrico.
Contributor(s): Walsh, Toby | SpringerLink (Online service).
Material type:
BookPublisher: Dordrecht : Springer Netherlands, 2006Description: digital.ISBN: 9781402055713.Subject(s): Computer science | Information theory | Artificial intelligence | Computer Science | Artificial Intelligence (incl. Robotics) | Theory of ComputationDDC classification: 006.3 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.