1
Material Type:
Livro
Advanced intelligent computing theories and applications with aspects of theoretical and methodological issues; third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21 - 24, 2007; proceedings
De-Shuang Huang; Laurent Heutte; Marco Loog; International Conference on Intelligent Computing. <3, 2007, Qingdao>
Internetausg. Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues
Berlin Springer Heidelberg u.a. 2007
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.4681 ) e outros locais(Acessar)
This feature requires javascript
2
Material Type:
Livro
Advances in artificial life 6th European cConference, ECAL 2001, Prague, Czech Republic, September 10-14, 2001 : proceedings
European Conference on Artificial Life (6th 2001 Prague, Czech Republic) Jozef Kelemen; Petr Sosík 1967-
Berlin Springer London c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNAI v.2159 ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Livro
Advances in learning classifier systems 4th international workshop, IWLCS 2001, San Francisco, CA, USA, July 2001 : revised papers
IWLCS 2001 (2001 San Francisco, Calif.) Pier Luca Lanzi 1967-; Wolfgang Stolzmann 1966-; Stewart W Wilson 1937-
Berlin Springer New York 2002
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNAI v.2321 ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Livro
Advances in learning classifier systems third international workshop, IWLCS 2000, Paris, France, September 15-16, 2000 : revised papers
IWLCS 2000 (2000 Paris, France) Pier Luca Lanzi 1967-; Wolfgang Stolzmann 1966-; Stewart W Wilson 1937-
Berlin Springer New York c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNAI v.1996 ) e outros locais(Acessar)
This feature requires javascript
5
Material Type:
Artigo de Congresso
An argumentation machinery to reason over inconsistent ontologies
Martin O Moguillansky Renata Wassermann; Marcelo A Falappa; Ibero-American Conference on Artificial Intelligence - IBERAMIA (12. (2010 Bahía Blanca, Argentina)
Proceedings Berlin : Springer, 2010
Berlin Springer 2010
Localização:
IME - Inst. Matemática e Estatística
(PROD-3008775 ) (Acessar)
This feature requires javascript
6
Material Type:
Livro
Artificial neural networks ICANN 2001 : International Conference, Vienna, Austria, August 21-25, 2001 : proceedings
International Conference on Artificial Neural Networks (2001 Vienna, Austria) Georg Dorffner 1962-; Horst Bischof; Kurt Hornik 1963-
Berlin Springer London c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2130 ) e outros locais(Acessar)
This feature requires javascript
7
Material Type:
Livro
Automated deduction, CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings
International Conference on Automated Deduction (11th 1992 Saratoga Springs, N.Y.) Deepak Kapur
Berlin Springer-Verlag New York c1992
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNAI v.607 ) e outros locais(Acessar)
This feature requires javascript
8
Material Type:
Livro
Automated deduction in geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
International Workshop on Automated Deduction in Geometry (1st 1996 Toulouse, France) Dongming Wang
Berlin Springer New York c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNAI v.1360 ) e outros locais(Acessar)
This feature requires javascript
9
Material Type:
Livro
Computational intelligence theory and applications : international conference, 7th Fuzzy Days, Dortmund, Germany, October 1-3, 2001 : proceedings
B Reusch (Bernd)
Berlin Springer London c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2206 ) e outros locais(Acessar)
This feature requires javascript
10
Material Type:
Livro
Conditional and typed rewriting systems proceedings
International Workshop on Conditional Term Rewriting Systems, 2., Montreal, 1990 Stephane Kaplan
Berlin Springer 1991
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.516 e.1 ) e outros locais(Acessar)
This feature requires javascript