skip to main content
Idioma:
Refinado por: assunto: Metodologia E Técnicas De Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Constraint satisfaction in logic programming

Pascal Van Hentenryck

Cambridge, Mass. MIT Press c1989

Localização: IME - Inst. Matemática e Estatística    (QA754 V255c )(Acessar)

2
Parallel logic programming in PARLOG the language and its implementation
Parallel logic programming in PARLOG the language and its implementation
Material Type:
Livro 		Adicionar ao Meu Espaço

Parallel logic programming in PARLOG the language and its implementation

Steve Gregory

Wokingham, England Reading, Mass. Addison-Wesley Pub. Co. c1987

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

3
DLP a language for distributed logic programming : design, semantics, and implementation
DLP a language for distributed logic programming : design, semantics, and implementation
Material Type:
Livro 		Adicionar ao Meu Espaço

DLP a language for distributed logic programming : design, semantics, and implementation

Anton Eliëns

Chichester England New York Wiley c1992

Localização: EPBC - Esc. Politécnica-Bib Central    (004.424 EL43d )(Acessar)

4
P-Prolog, a parallel logic programming language
P-Prolog, a parallel logic programming language
Material Type:
Livro 		Adicionar ao Meu Espaço

P-Prolog, a parallel logic programming language

Rong Yang

Singapore World Scientific Teaneck, N.J. c1987

Localização: IF - Instituto de Física    (005.133 Y22p )(Acessar)

5
Iteration theories the equational logic of iterative processes
Iteration theories the equational logic of iterative processes
Material Type:
Livro 		Adicionar ao Meu Espaço

Iteration theories the equational logic of iterative processes

Stephen L. Bloom 1940- Zoltán Ésik 1951-

Berlin Springer-Verlag New York c1993

Localização: IME - Inst. Matemática e Estatística    (QA816 B655i e.2 )(Acessar)

6
Functional and logic programming 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings
Functional and logic programming 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional and logic programming 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings

FLOPS 2001 (2001 Tokyo, Japan) Herbert Kuchen 1958-; Kazunori Ueda

Berlin Springer New York c2001

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

7
Recent advances in constraints joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers
Recent advances in constraints joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent advances in constraints joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers

International Workshop on Constraint Solving and Constraint Logic Programming (2002 Cork, Ireland) B O'Sullivan (Barry)

Berlin Springer New York c2003

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

8
Logic-based knowledge representation
Logic-based knowledge representation
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic-based knowledge representation

Peter Jackson 1948- Han Reichgelt; Frank Van Harmelen

Cambridge, Mass MIT Press c1989

Localização: IFSC - Inst. Física de São Carlos    (001.642 J13L )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1989  (2)
  2. 1989Até1991  (2)
  3. 1992Até1992  (1)
  4. 1993Até2001  (2)
  5. Após 2001  (1)
  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.