skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Resultados 1 2 3 4 next page
Refinado por: assunto: Logic, Symbolic And Mathematical remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Grammatical inference and applications second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Grammatical inference and applications second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings

Rafael C Carrasco 1963-; Jose Oncina 1962-; International Colloquium on Grammatical Inference (2nd 1994 Alicante, Spain)

Berlin New York Springer-Verlag c1994

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lnai v.862 e.1 ) e outros locais(Acessar)

2
Logics in artificial intelligence European workshop, JELIA 2000, Málaga, Spain, September 29 - October 2, 2000 ; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Logics in artificial intelligence European workshop, JELIA 2000, Málaga, Spain, September 29 - October 2, 2000 ; proceedings

JELIA 2000 (2000 Málaga, Spain) Manuel Ojeda-Aciego 1967-

Berlin Springer London c2000

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1919 ) e outros locais(Acessar)

3
Artificial intelligence and symbolic computation international conference AISC 2000, Madrid, Spain, July 17-19, 2000, revised papers
Material Type:
Livro
Adicionar ao Meu Espaço

Artificial intelligence and symbolic computation international conference AISC 2000, Madrid, Spain, July 17-19, 2000, revised papers

International Conference on Artificial Intelligence and Symbolic Mathematical Computation (5th 2000 Madrid, Spain) J. A Campbell 1940-; Eugenio Roanes-Lozano

Berlin Springer New York c2001

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1930 ) e outros locais(Acessar)

4
Trustworthy Global Computing: 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Trustworthy Global Computing: 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers

Ganty, Pierre ; Loreti, Michele Loreti, Michele ; Ganty, Pierre ; Loreti, Michele ; Ganty, Pierre

Cham: Springer Nature 2016

Texto completo disponível

5
Artificial Intelligence and Symbolic Computation: International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Artificial Intelligence and Symbolic Computation: International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers

Campbell, John A ; Roanes-Lozano, Eugenio Campbell, John A. ; Roanes-Lozano, Eugenio

Berlin, Heidelberg: Springer Berlin / Heidelberg 2001

Texto completo disponível

6
Logics in Artificial Intelligence: European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings

Ojeda-Aciego, Manuel ; Guzman, Inma P. de ; Brewka, Gerhard ; Pereira, Luis M de Guzmán, Inma P. ; Ojeda-Aciego, Manuel ; Moniz Pereira, Luís ; Brewka, Gerhard

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

7
Grammatical Inference and Applications: Second International Colloquium, ICGI-94 Alicante, Spain, September 21–23, 1994 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Grammatical Inference and Applications: Second International Colloquium, ICGI-94 Alicante, Spain, September 21–23, 1994 Proceedings

Carrasco, Rafael C ; Oncina, Jose Oncina, Jose ; Carrasco, Rafael C.

Berlin, Heidelberg: Springer Berlin Heidelberg 1994

Texto completo disponível

8
Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference ECSQARU '93 Granada, Spain, November 8–10, 1993 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference ECSQARU '93 Granada, Spain, November 8–10, 1993 Proceedings

Clarke, Michael ; Kruse, Rudolf ; Moral, Serafín Moral, Serafín ; Clarke, Michael ; Kruse, Rudolf

Berlin, Heidelberg: Springer Berlin Heidelberg 1993

Texto completo disponível

9
Membrane Computing: International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Membrane Computing: International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers

Martín-Vide, Carlos ; Mauri, Giancarlo ; Paun, Gheorghe ; Rozenberg, Grzegorz ; Salomaa, Arto Rozenberg, Grzegorz ; Mauri, Giancarlo ; Păun, Gheorghe ; Salomaa, Arto ; Martín-Vide, Carlos

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

10
Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings

Flum, Jörg ; Rodriguez-Artalejo, Mario Rodriguez-Artalejo, Mario ; Flum, Jörg

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (39)
  2. Anais de Congresso  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1990  (5)
  2. 1990Até2000  (7)
  3. 2001Até2004  (11)
  4. 2005Até2014  (20)
  5. Após 2014  (5)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.