Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Labelled DeductionDov M. Barwise, John Spurr, Jane Gabbay John Barwise; David Basin; M D'Agostino; Dov M Gabbay; Seán Matthews; Jane Spurr; Luca ViganòSpringer Netherlands 2000Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Games of No Chance 3Michael H. Nowakowski, Richard J. Albert Michael H Albert; Richard J NowakowskiCambridge Cambridge University Press 2009Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Methods and applications of artificial intelligence Third Hellenic Conference on AI, SETN 2004, Samos, Greece, May 5-9, 2004 proceedingsHellenic Conference on AI (3rd 2004 Samos, Greece) George A Vouros; Themistoklis PanayiotopoulosBerlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Logical and Computational Aspects of Model-Based ReasoningDov M. Barwise, Jon Magnani, Lorenzo Gabbay L Magnani; N.J Nersessian; Claudio PizziSpringer Netherlands 2002Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Formal Aspects of ContextDov M. Barwise, John Bonzon, Pierre Gabbay Marcos Cavalcanti; Rolf NossumSpringer Netherlands 2000Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
Theorem proving in higher order logics 17th international conference, TPHOLs 2004, Park City, Utah, USA September 14-17, 2004 ; proceedingsTPHOLs 2004 (2004 Utah, USA) Konrad Slind; Annette Bunker; Ganesh GopalakrishnanBerlin Springer 2004Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Livro
|
Machine learning ECML 2004 : 15th European Conference on Machine Learning, Pisa, Italy September 20-24, 2004 : proceedingsEuropean Conference on Machine Learning (15th 2004 Pisa, Italy) Jean-Fran cois Boulicaut; Floriana Esposito 1947-; Fosca Giannotti; Dino PedreschiBerlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Livro
|
Algorithmic learning theory 15th international conference, ALT 2004, Padova, Italy, October 2-5, 2004 ; proceedingsALT 2004 (15th 2004 Padua, Italy) Shai Ben-David; John Case 1942; Akira MaruokaBerlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
Rough sets and current trends in computing 5th international conference, RSCTC 2006, Kobe, Japan, November 6-8 2006 : proceedingsRSCTC 2006 (5th 2006 Kobe, Japan) Shoji Hirano; Masahiro Inuiguchi; Sadaaki Miyamoto; Hung Son Nguyen; Roman Slowinski; Salvatore Greco; Yutaka HataBerlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Livro
|
Statistical Physics, Automata Networks and Dynamical SystemsM. Goles, Eric Martínez, Servet Hazewinkel Servet MartínezSpringer Netherlands 1992Acesso online. A biblioteca também possui exemplares impressos. |