skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
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: EPEL - Esc. Politécnica-Bib Eng Eletr    (005.133 PARLOG G862p ) e outros locais(Acessar)

3
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: EPEL - Esc. Politécnica-Bib Eng Eletr    (005.115 EL43d )(Acessar)

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

Buscando em bases de dados remotas. Favor aguardar.