Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Grammatical inference and applications second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedingsRafael C Carrasco 1963-; Jose Oncina 1962-; International Colloquium on Grammatical Inference (2nd 1994 Alicante, Spain)Berlin New York Springer-Verlag c1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lnai v.862 e.1 ) e outros locais(Acessar) |
2 |
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) |
3 |
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) |
4 |
Material Type: Livro
|
![]() |
Trustworthy Global Computing: 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected PapersGanty, Pierre ; Loreti, Michele Loreti, Michele ; Ganty, Pierre ; Loreti, Michele ; Ganty, PierreCham: Springer Nature 2016Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Artificial Intelligence and Symbolic Computation: International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised PapersCampbell, John A ; Roanes-Lozano, Eugenio Campbell, John A. ; Roanes-Lozano, EugenioBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Logics in Artificial Intelligence: European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 ProceedingsOjeda-Aciego, Manuel ; Guzman, Inma P. de ; Brewka, Gerhard ; Pereira, Luis M de Guzmán, Inma P. ; Ojeda-Aciego, Manuel ; Moniz Pereira, Luís ; Brewka, GerhardBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Grammatical Inference and Applications: Second International Colloquium, ICGI-94 Alicante, Spain, September 21–23, 1994 ProceedingsCarrasco, Rafael C ; Oncina, Jose Oncina, Jose ; Carrasco, Rafael C.Berlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference ECSQARU '93 Granada, Spain, November 8–10, 1993 ProceedingsClarke, Michael ; Kruse, Rudolf ; Moral, Serafín Moral, Serafín ; Clarke, Michael ; Kruse, RudolfBerlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Membrane Computing: International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised PapersMartín-Vide, Carlos ; Mauri, Giancarlo ; Paun, Gheorghe ; Rozenberg, Grzegorz ; Salomaa, Arto Rozenberg, Grzegorz ; Mauri, Giancarlo ; Păun, Gheorghe ; Salomaa, Arto ; Martín-Vide, CarlosBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, ProceedingsFlum, Jörg ; Rodriguez-Artalejo, Mario Rodriguez-Artalejo, Mario ; Flum, JörgBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |