skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Mostrar Somente
Refinado por: Biblioteca: FFLCH - Fac. Fil. Let. e Ciências Humanas remover Biblioteca: IME - Inst. Matemática e Estatística remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal Semantics and Pragmatics for Natural Language Querying
Formal Semantics and Pragmatics for Natural Language Querying
Formal Semantics and Pragmatics for Natural Language Querying
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Semantics and Pragmatics for Natural Language Querying

James Clifford

Cambridge Cambridge University Press 1990

Acesso online. A biblioteca também possui exemplares impressos.

2
Gödel '96 logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy ; Brno, Czech Republic, August 1996 ; proceedings
Gödel '96 logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy ; Brno, Czech Republic, August 1996 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Gödel '96 logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy ; Brno, Czech Republic, August 1996 ; proceedings

Peter Hájek Hrsg; Conference Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy (1996 Brno)

Natick, Mass Association of Symbolic Logic u.a. 1996

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (511.3 G581 ) e outros locais(Acessar)

3
Advances in artificial life 9th European conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007 : proceedings
Advances in artificial life 9th European conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in artificial life 9th European conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007 : proceedings

ECAL 2007 (2007 : Lisbon, Portugal) Fernando Almeida e Costa

Berlin Springer New York 2007

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (809 E19 ) e outros locais(Acessar)

4
A guide to expert systems
A guide to expert systems
Material Type:
Livro 		Adicionar ao Meu Espaço

A guide to expert systems

D. A. Waterman 1936- (Donald Arthur)

Reading, Mass. Addison-Wesley c1986

Localização: EERP - Esc. Enfermagem Ribeirão Preto    (681.3.06 W328g ) e outros locais(Acessar)

5
R graphics
R graphics
Material Type:
Livro 		Adicionar ao Meu Espaço

R graphics

Paul Murrell

Boca Raton Chapman & Hall/CRC 2006

Localização: FEARP - Fac. Econ. Adm. Cont. de R. Preto    (681.3.06 M983r 6486 ) e outros locais(Acessar)

6
Computation, logic, philosophy a collection of essays
Computation, logic, philosophy a collection of essays
Material Type:
Livro 		Adicionar ao Meu Espaço

Computation, logic, philosophy a collection of essays

Hao Wang 1921-

Beijing, China Science Press Dordrecht, Holland Boston Kluwer Academic Publishers c1990

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (510.1 H252c ) e outros locais(Acessar)

7
Logic, Language and Computation
Logic, Language and Computation
Logic, Language and Computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic, Language and Computation

Dov M. Barwise, Jon Akama, Seiki Gabbay Seiki Akama; Jon Barwise

Springer Netherlands 1997

Acesso online. A biblioteca também possui exemplares impressos.

8
Computational processing of the Portuguese language 7th International Workshop, PROPOR 2007, Itatiaia, Brazil, May 13-17, 2007 : proceedings
Computational processing of the Portuguese language 7th International Workshop, PROPOR 2007, Itatiaia, Brazil, May 13-17, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational processing of the Portuguese language 7th International Workshop, PROPOR 2007, Itatiaia, Brazil, May 13-17, 2007 : proceedings

International Workshop, PROPOR (7th 2006 Itatiaia, Brazil) Paulo Quaresma; Maria das Graças Volpe Nunes; Nuno J Mamede; Cláudia de Oliveira; Maria Carmelita Dias; Renata Vieira ed.

Berlin Springer New York c2006

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (401.43 C735 2006 ) e outros locais(Acessar)

9
Introdução a ciência dos computadores resumo da teoria, 300 problemas resolvidos, 299 problemas propostos
Introdução a ciência dos computadores resumo da teoria, 300 problemas resolvidos, 299 problemas propostos
Material Type:
Livro 		Adicionar ao Meu Espaço

Introdução a ciência dos computadores resumo da teoria, 300 problemas resolvidos, 299 problemas propostos

Francis Scheid Orlando Agueda; Hideo Butsugan

São Paulo McGraw-Hill do Brasil 1973

Localização: EE - Escola de Enfermagem    (517.382 S318i ex.3 ) e outros locais(Acessar)

10
Proof Theory of Modal Logic
Proof Theory of Modal Logic
Proof Theory of Modal Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Proof Theory of Modal Logic

Dov M. Barwise, Jon Wansing, Heinrich Gabbay Jon Barwise; Heinrich Wansing

Springer Netherlands 1996

Acesso online. A biblioteca também possui exemplares impressos.

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (4)

Data de Publicação 

De até
Refinar
  1. Antes de1986  (1)
  2. 1986Até1989  (1)
  3. 1990Até1994  (2)
  4. 1995Até1996  (3)
  5. Após 1996  (5)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.