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
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Programação Lógica remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formalizing planning algorithms for temporally extended goals
Formalizing planning algorithms for temporally extended goals
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Formalizing planning algorithms for temporally extended goals

Silvio do Lago Pereira Leliane Nunes de Barros

São Paulo IME-USP 2007

Localização: IME - Inst. Matemática e Estatística    (RT-MAC 2007 v.9 ) e outros locais(Acessar)

2
Towards a logic of perishable propositions
Towards a logic of perishable propositions
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Towards a logic of perishable propositions

Flávio Soares Corrêa da Silva

São Paulo IME-USP 2001

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 2001 v.12 e.1 ) e outros locais(Acessar)

3
Lógica para computação
Lógica para computação
Material Type:
Livro 		Adicionar ao Meu Espaço

Lógica para computação

Flávio Soares Corrêa da Silva Marcelo Finger; Ana Cristina Vieira de Melo

São Paulo Cengage Learning 2010 [2006

Localização: IME - Inst. Matemática e Estatística    (QA816 S586L 2010 e.12 ) e outros locais(Acessar)

4
Lógica de programação
Lógica de programação
Material Type:
Livro 		Adicionar ao Meu Espaço

Lógica de programação

Alexandre Berg Joice Pavek Figueiró

Canoas ULBRA 2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68Q10.01 B493Lp.3 e.1 )(Acessar)

5
Lógica de programação
Lógica de programação
Material Type:
Livro 		Adicionar ao Meu Espaço

Lógica de programação

Gley Fabiano Cardoso Xavier Gley Fabiano Cardoso Xavier

São Paulo : Editora Senac São Paulo 2007

Localização: EESC - Esc. Engenharia de São Carlos    (001.64 X3L 1/1 CD-ROM ) e outros locais(Acessar)

6
Specifying credal sets with probabilistic answer set programming
Specifying credal sets with probabilistic answer set programming
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Specifying credal sets with probabilistic answer set programming

Denis Deratani Mauá Fabio Gagliardi Cozman 1967-; International Symposium on Imprecise Probability: Theories and Applications - ISIPTA (13. 2023 Oviedo, Spain)

Proceedings of Machine Learning Research Brookline v. 215, p. 321-332, 2023

Brookline 2023

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

7
Automated reasoning with uncertainties
Automated reasoning with uncertainties
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Automated reasoning with uncertainties

Flávio Soares Corrêa da Silva

São Paulo IME-USP 1993

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1993 v.2 e.1 ) e outros locais(Acessar)

8
Algebraic and logic programming
Algebraic and logic programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic and logic programming

International Conference, ALP'94, 4 1994 Madrid Giorgio Levi; Mario Rodriguez-Artalejo

Goos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture notes in computer science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1994

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.850 )(Acessar)

9
Lógica de programação aprendendo a programar
Lógica de programação aprendendo a programar
Material Type:
Livro 		Adicionar ao Meu Espaço

Lógica de programação aprendendo a programar

Camila Ceccatto da Silva Everaldo Antônio de Paula

Santa Cruz do Rio Pardo, SP Viena 2007

Localização: EEL - Biotecnologia e Química    (004.312 Si38l )(Acessar)

10
Programacion logica y funcional
Programacion logica y funcional
Material Type:
Livro 		Adicionar ao Meu Espaço

Programacion logica y funcional

Jorge Vidart Alvaro Tasistro; Escola Brasileiro-Argentina de Informatica (3 1988 Curitiba)

Curitiba Ebai 1988

Localização: EPBC - Esc. Politécnica-Bib Central    (004.424 V667p ) 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 (108)
  2. Recursos Online (8)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (77)
  2. Artigos  (19)
  3. Produções Acadêmicas  (11)
  4. Produções Técnicas  (3)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1990  (23)
  2. 1990Até1997  (22)
  3. 1998Até2005  (26)
  4. 2006Até2014  (27)
  5. Após 2014  (15)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (80)
  2. Português  (28)
  3. Espanhol  (1)
  4. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.