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
Refinado por: assunto: Técnicas De Programação remover assunto: Automatic Theorem Proving remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
From logic design to logic programming theorem proving techniques and P-functions
From logic design to logic programming theorem proving techniques and P-functions
Material Type:
Livro 		Adicionar ao Meu Espaço

From logic design to logic programming theorem proving techniques and P-functions

Dominique Snyers 1959- André Thayse 1940-

Berlin New York Springer-Verlag c1987

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

2
Computational logic logic programming and beyond : essays in honour of Robert A. Kowalski
Computational logic logic programming and beyond : essays in honour of Robert A. Kowalski
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational logic logic programming and beyond : essays in honour of Robert A. Kowalski

Antonis C Kakas; Fariba Sadri 1956-; Robert Kowalski

Berlin Springer New York c2002

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Autor/Criador 

  1. Sadri, F  (1)
  2. Kakas, A  (1)
  3. Thayse, A  (1)
  4. Kowalski, R  (1)
  5. Snyers, D  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Sadri, F
  2. Kakas, A
  3. Thayse, A
  4. Kowalski, R
  5. Snyers, D

Neste Assunto:

  1. Logic Programming
  2. Programação Lógica
  3. Automatic Theorem Proving
  4. Técnicas De Programação
  5. Computer Algorithms

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

Buscando em bases de dados remotas. Favor aguardar.