skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Inteligência Artificial remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
CSL '88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
CSL '88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CSL '88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings

Workshop on Computer Science Logic (2nd 1988 Duisburg, Germany) E Börger 1946- (Egon); H Kleine Büning (Hans); Michael M Richter 1938-

Berlin New York Springer-Verlag c1989

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

2
Foundations of computer science potential, theory, cognition
Foundations of computer science potential, theory, cognition
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of computer science potential, theory, cognition

Wilfried Brauer; C Freksa; Matthias Jantzen 1948-; R Valk (Rüdiger)

Berlin Springer New York c1997

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

3
Computer science logic 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings
Computer science logic 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings

Workshop on Computer Science Logic (16th 2002 Edinburgh, Scotland) J. C Bradfield; European Association for Computer Science Logic Conference Edinburgh, Scotland) 2002

Berlin Springer New York c2002

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2471 )(Acessar)

4
Computer science logic 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
Computer science logic 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings

Workshop on Computer Science Logic (14th 2000 Fischbachau, Germany) Peter Clote; Helmut Schwichtenberg 1942-; European Association for Computer Science Logic Conference Fischbachau, Germany) 2000

Berlin Springer New York c2000

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

5
Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

CSL 2001 (2001 Paris, France) Laurent Fribourg 1957-; European Association for Computer Science Logic

London Springer Berlin 2001

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

6
Computer science logic 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings
Computer science logic 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings

Workshop on Computer Science Logic (12th 1998 Brno, Czech Republic) G Gottlob (Georg); E Grandjean (Etienne); Katrin Seyr

Berlin Springer New York 1999

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

7
Computer science logic 17th International Workshop, CSL 2003, 12th Annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings
Computer science logic 17th International Workshop, CSL 2003, 12th Annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 17th International Workshop, CSL 2003, 12th Annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings

Matthias Baaz; Johann A Makowsky 1948-; European Association for Computer Science Logic Conference Vienna University of Technology) 2003; Workshop on Computer Science Logic (17th 2003 Vienna University of Technology); Kurt Gödel Colloquium (8th 2003 Vienna University of Technology)

Berlin Springer New York c2003

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2803 )(Acessar)

8
Relational methods in computer science 6th international conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, the Netherlands, October 16-21, 2001 : revised papers
Relational methods in computer science 6th international conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, the Netherlands, October 16-21, 2001 : revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Relational methods in computer science 6th international conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, the Netherlands, October 16-21, 2001 : revised papers

RelMiCS 2001 (2001 Oisterwijk, Netherlands) H. C. M. de Swart; European Cooperation in the Field of Scientific and Technical Research (Organization) COST Action 274 TARSKI (Project) Oisterwijk, Netherlands) 2001

Berlin Springer New York c2002

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2561 )(Acessar)

9
Epistemic logic for AI and computer science
Epistemic logic for AI and computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

Epistemic logic for AI and computer science

J.-J. Ch. Meyer W Van der Hoek

Cambridge Cambridge University Press 2004, c1990

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (006.3 M559e )(Acessar)

10
The elements of artificial intelligence an introduction using LISP
The elements of artificial intelligence an introduction using LISP
Material Type:
Livro 		Adicionar ao Meu Espaço

The elements of artificial intelligence an introduction using LISP

S. Tanimoto (Steven)

Rockville, MD Computer Science c1987

Localização: EPBC - Esc. Politécnica-Bib Central    (004.8 T156e ) e outros locais(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (1.109)
  2. Recursos Online (110)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (978)
  2. Artigos  (167)
  3. Produções Acadêmicas  (20)
  4. Software  (4)
  5. Produções Técnicas  (1)
  6. Audiovisuais  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1981  (18)
  2. 1981Até1991  (151)
  3. 1992Até2001  (602)
  4. 2002Até2012  (322)
  5. Após 2012  (79)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.144)
  2. Português  (22)
  3. Indeterminado  (3)
  4. Alemão  (1)
  5. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.