Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Challenges for Action TheoriesMichael ThielscherSpringer Berlin Heidelberg 2000Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Linear Logic in Computer ScienceWilliam Tuncel, Selim Parry Thomas Ehrhard; Jean-Yves Girard; Paul Ruet; Philip Scott Jean-Yves Girard Paul Ruet Philip Scott; London Mathematical Society.Cambridge Cambridge University Press 2004Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Learning Language in LogicJames Cussens James Cussens; SaÅ¡o DžeroskiSpringer Berlin Heidelberg 2000Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
A Tight, Practical Integration of Relations and FunctionsHarold BoleySpringer Berlin Heidelberg 1999Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Programming with constraints an introductionKim Marriott Peter J StuckeyCambridge, Mass. MIT Press c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68T10.05 M359pc e.1 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Logic in computer science modelling and reasoning about systemsMichael Huth Mark RyanCambridge u.a Cambridge University Press 2004Localização: IME - Inst. Matemática e Estatística (QA11.7 H979L 2.ed. e.8 )(Acessar) |
|
7 |
Material Type: Livro
|
Dynamic logicDavid Harel 1950- Dexter Kozen 1951-; Jerzy TiurynCambridge, Mass MIT Press 2000Localização: IME - Inst. Matemática e Estatística (QA860 H275d )(Acessar) |
|
8 |
Material Type: Livro
|
What is a logical system?Dov M Gabbay 1945-Oxford Clarendon Press New York Oxford University Press 1994Localização: IME - Inst. Matemática e Estatística (QA9.C3 G112w )(Acessar) |
|
9 |
Material Type: Livro
|
Constraint satisfaction in logic programmingPascal Van HentenryckCambridge, Mass. MIT Press c1989Localização: IME - Inst. Matemática e Estatística (QA754 V255c )(Acessar) |
|
10 |
Material Type: Livro
|
Discrete structures, logic, and computabilityJames L. HeinSudbury, Mass. Jones and Bartlett Publishers c2010Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004 H364d3 )(Acessar) |