Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Automated reasoning second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8 2004 : proceedingsIJCAR 2004 (2004 Cork, Ireland) David Basin; Micha el RusinowitschBerlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Automated reasoning third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedingsIJCAR 2006 (2006 Seattle, Wash.) Ulrich Furbach; N Shankar (Natarajan)Berlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.4130 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Automated deduction in geometry 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papersInternational Workshop on Automated Deduction in Geometry (4th 2002 Linz, Austria) Franz Winkler 1955Berlin Springer New York c2004Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.2930 ) e outros locais(Acessar) |