1
Material Type:
Livro
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)
This feature requires javascript
2
Material Type:
Livro
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)
This feature requires javascript
3
Material Type:
Livro
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)
This feature requires javascript
4
Material Type:
Livro
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)
This feature requires javascript
5
Material Type:
Livro
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)
This feature requires javascript
6
Material Type:
Livro
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)
This feature requires javascript
7
Material Type:
Livro
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)
This feature requires javascript
8
Material Type:
Livro
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)
This feature requires javascript