Limit Search Results
Author
SpringerLink (Online service)
(142)
Riolo, Rick. editor.
(7)
Blum, Christian. editor.
(5)
Fages, François. editor.
(5)
Herik, H. Jaap. editor.
(5)
Language
Publication Date
-
Subject
Artificial intelligence.
(143)
Computer science.
(124)
Computer software.
(83)
Computational complexity.
(44)
Data mining.
(20)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
146 Results Found Subscribe to search results
00DEFAULT
Print
145. 
Cover image for Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Author 
Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137280
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Evolutionary Multi-Criterion Optimization Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005. Proceedings
Evolutionary Multi-Criterion Optimization Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005. Proceedings
Author 
Coello Coello, Carlos A. editor. Hernández Aguirre, Arturo. editor. Zitzler, Eckart. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106458
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action