Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Learning Language in LogicJames Cussens James Cussens; SaÅ¡o DžeroskiSpringer Berlin Heidelberg 2000Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Artificial intelligence and symbolic computation international conference AISC 2000, Madrid, Spain, July 17-19, 2000, revised papersInternational Conference on Artificial Intelligence and Symbolic Mathematical Computation (5th 2000 Madrid, Spain) J. A Campbell 1940-; Eugenio Roanes-LozanoBerlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1930 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Logics in artificial intelligence European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedingsEuropean Workshop JELIA'98 (1998 Dagstuhl, Germany) J Dix 1961- (Jürgen); Luis Fariñas del Cerro; Ulrich FurbachBerlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1489 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Artificial intelligence and symbolic computation International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, proceedingsAISC'98 (Conference) (1998 Plattsburgh, N.Y.) Jacques Calmet; Jan Plaza; International Conference on Artificial Intelligence and Symbolic Mathematical Computation (4th 1998 Plattsburgh, N.Y.)Carbonell, G, ed; Siekmann, J, ed Lecture Notes in Artificial Intelligence Berlin, Springer-Verlag, c1994-Berlin London Springer c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1476 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Logics in artificial intelligence European workshop, JELIA 2000, Málaga, Spain, September 29 - October 2, 2000 ; proceedingsJELIA 2000 (2000 Málaga, Spain) Manuel Ojeda-Aciego 1967-Berlin Springer London c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1919 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Automated deduction--CADE 16 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedingsInternational Conference on Automated Deduction (16th 1999 Trento, Italy) H Ganzinger 1950- (Harald)Berlin Springer-Verlag New York 1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1632 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Automated deduction in classical and non-classical logics selected papersRicardo Caferra 1945-; Gernot Salzer 1963-Berlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1761 e.1 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Automated deduction--CADE-17 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedingsInternational Conference on Automated Deduction (17th 2000 Pittsburgh, Pa.) David A McAllesterBerlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1831 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Grammatical inference algorithms and applications : 5th international colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedingsInternational Colloquium on Grammatical Inference (5th 2000 Lisbon, Portugal) Arlindo L OliveiraBerlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1891 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Frontiers of combining systems 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedingsFroCoS 2002 (2002 Santa Margherita Ligure, Italy) Alessandro ArmandoBerlin Springer New York 2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.2309 ) e outros locais(Acessar) |