Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
2 |
Material Type: Livro
|
![]() |
Machine Learning: An Artificial Intelligence ApproachMichalski, R. S ; Carbonell, J. G ; Mitchell, T. M Carbonell, Jaime G. ; Mitchell, Tom M. ; Michalski, Ryszard S.Berlin, Heidelberg: Springer Berlin / Heidelberg 1984Texto completo disponível |
3 |
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 |
4 |
Material Type: Livro
|
![]() |
Termination Proofs for Logic ProgramsPlümer, LutzBerlin, Heidelberg: Springer Berlin Heidelberg 1990Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Artificial Perception and Music RecognitionTanguiane, Andranick S Tanguiane, Andranick S.Berlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Foundations of Knowledge Representation and ReasoningLakemeyer, Gerhard ; Nebel, Bernhard Lakemeyer, Gerhard ; Nebel, BernhardBerlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Communication and Cooperation in Agent Systems: A Pragmatic TheoryHaddadi, Afsaneh Haddadi, AfsanehBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Advances in Case-Based Reasoning: Third European Workshop EWCBR-96 Lausanne, Switzerland, November 14–16, 1996 ProceedingsSmith, Ian ; Faltings, Boi Faltings, Boi ; Smith, IanBerlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
KI-95: Advances in Artificial Intelligence: 19th Annual German Conference on Artificial Intelligence Bielefeld, Germany, September 11–13, 1995 ProceedingsWachsmuth, Ipke ; Rollinger, Claus-Rainer ; Brauer, Wilfried Brauer, Wilfried ; Wachsmuth, Ipke ; Rollinger, Claus-RainerBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Machine Learning: ECML-95: 8th European Conference on Machine Learning Heraclion, Crete, Greece, April 25–27, 1995 ProceedingsLavrac, Nada ; Wrobel, Stefan Wrobel, Stefan ; Lavrac, NadaBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |