skip to main content
Idioma:
Resultados 1 2 next page
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover assunto: Técnicas De Programação remover Programação Lógica remover Metodologia E Técnicas De Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Live Data Structures in Logic Programs
Live Data Structures in Logic Programs
Material Type:
Livro 		Adicionar ao Meu Espaço

Live Data Structures in Logic Programs

Anne Mulkers

Springer Berlin Heidelberg 1993

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

2
Termination Proofs for Logic Programs
Termination Proofs for Logic Programs
Termination Proofs for Logic Programs
Material Type:
Livro 		Adicionar ao Meu Espaço

Termination Proofs for Logic Programs

Lutz Plümer

Springer Berlin Heidelberg 1990

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

3
Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 proceedings
Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 proceedings

International Conference on Logic Programming (3rd 1986 Imperial College of Science and Technology) Ehud Y Shapiro

Berlin Springer-Verlag New York c1986

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 Lncs v.225 e.2 ) e outros locais(Acessar)

4
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)

5
Logic programming proceedings
Logic programming proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic programming proceedings

Logic Programming Conference, 6., Tokyo, 1987 Tetsunosuke Fujisaki

Berlin Springer 1988

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

6
Foundations of equational logic programming
Foundations of equational logic programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of equational logic programming

Steffen Hölldobler 1957-

Berlin New York Springer-Verlag c1989

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

7
Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings

J. Díaz 1950- (Josep) International Joint Conference on Theory and practice of Development (3rd 1989 Barcelona)

Berlin Springer 1989

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

8
Programming languages implementations,, logics, and programs ; proceedings [of the] 8th international symposium, plilp'96, held in aachen, germany, september, 1996
Programming languages implementations,, logics, and programs ; proceedings [of the] 8th international symposium, plilp'96, held in aachen, germany, september, 1996
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming languages implementations,, logics, and programs ; proceedings [of the] 8th international symposium, plilp'96, held in aachen, germany, september, 1996

International Workshop on Programming Languages Implementation and Logic Programming (8. 1996 Aachen, De) Herbert Kuchen; S Swierstra

Berlin Springer 1996

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 lncs V.1140 ) e outros locais(Acessar)

9
Non-monotonic extensions of logic programming Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers
Non-monotonic extensions of logic programming Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Non-monotonic extensions of logic programming Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers

NMELP '96 (2nd 1996 Bad Honnef, Germany) J Dix 1961- (Jürgen); Luís Moniz Pereira; Teodor C Przymusinski 1947-; Workshop on Non-Monotonic Extensions of Logic Programming (2 1996 Bad Honnef, Ger)

Berlin Springer New York c1997

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

10
Logic programming and knowledge representation third international workshop, LPKR'97, Port Jefferson, New York, USA, october 17, 1997 : selected papers
Logic programming and knowledge representation third international workshop, LPKR'97, Port Jefferson, New York, USA, october 17, 1997 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic programming and knowledge representation third international workshop, LPKR'97, Port Jefferson, New York, USA, october 17, 1997 : selected papers

International Workshop on Logic Programming and Knowledge Representation, LPKR'97 (3. 1997 Port Jefferson, N.Y.) J Dix 1961- (Jürgen); Luís Moniz Pereira; Teodor C Przymusinski 1947-

Berlin Springer New York c1998

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

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (2)

Data de Publicação 

De até
Refinar
  1. Antes de1987  (1)
  2. 1987Até1987  (2)
  3. 1988Até1988  (1)
  4. 1989Até1990  (4)
  5. Após 1990  (4)
  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.