Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Reliable Knowledge DiscoveryDai, Honghua ; Liu, James N. K ; Smirnov, Evgueni Liu, James N. K. ; Smirnov, Evgueni ; Dai, HonghuaNew York, NY: Springer-Verlag 2012Texto completo disponível |
|
2 |
Material Type: Livro
|
8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 ProceedingsSiekmann, Jörg H Siekmann, Jörg H.Berlin, Heidelberg: Springer Berlin Heidelberg 1986Texto completo disponível |
|
3 |
Material Type: Livro
|
Google It: Total Information AwarenessLee, Newton Lee, NewtonNew York, NY: Springer 2016Texto completo disponível |
|
4 |
Material Type: Livro
|
Evolutionary Computation: Toward a New Philosophy of Machine IntelligenceFogel, David BHoboken (New Jersey): John Wiley & Sons 2006Texto completo disponível |
|
5 |
Material Type: Livro
|
On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database TechnologiesBrodie, Micheal L ; Mylopoulos, John ; Schmidt, Joachim W Mylopoulos, John ; Brodie, Micheal L.New York, NY: Springer New York 1986Texto completo disponível |
|
6 |
Material Type: Livro
|
Termination Proofs for Logic ProgramsPlümer, LutzBerlin, Heidelberg: Springer Berlin Heidelberg 1990Texto completo disponível |
|
7 |
Material Type: Livro
|
Artificial Intelligence for GamesMillington, Ian ; Funge, JohnLondon: CRC Press 2009Texto completo disponível |
|
8 |
Material Type: Livro
|
Handbook of Virtual HumansMagnenat-Thalmann, Nadia ; Thalmann, DanielNewark: Wiley 2005Texto completo disponível |
|
9 |
Material Type: Livro
|
Artificial Intelligence: A New SynthesisNilsson, Nils JSt. Louis: Elsevier Science & Technology 1998Texto completo disponível |
|
10 |
Material Type: Livro
|
|