Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Automated deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17 - 20, 2007 ; proceedingsFrank Pfenning; CADE (21 : 2007.07.17-20 : Bremen); International Conference on Automated Deduction (21 : 2007.07.17-20 : Bremen)Berlin u.a. : Springer 2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.4603 ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
Theorem proving in higher order logics 20th international conference, TPHOLs 2007, Kaiserslautern, Germany September 10-13, 2007 ; proceedingsTPHOLs 2007 (2007 Kaiserslautern, Germany) Klaus Schneider 1967; Jens Brandt 1978Berlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4732 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedingsTABLEAUX 2007 (2007 Aix en Provence, France) Nicola OlivettiBerlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.4548 ) e outros locais(Acessar) |
4 |
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) |
5 |
Material Type: Livro
|
![]() |
Mathematical knowledge management 4th international conference, MKM 2005, Bremen, Germany, July 15-17 2005 : revised selected papersMKM 2005 (2005 Bremen, Germany) Michael Kohlhase 1964Berlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Livro
|
![]() |
Mathematical knowledge management 5th international conference, MKM 2006, Wokingham, UK, August 11-12 2006 : proceedingsMKM 2006 (2006 Wokingham, England) Jonathan M Borwein; William Michael FarmerBerlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.4108 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
Theorem proving in higher order logics 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25 2005 : proceedingsTPHOLs 2005 (2005 Oxford, England) Joe Hurd; T. F Melham (Tom F.)Berlin Springer New York 2005Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Livro
|
![]() |
Automated deduction, CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia July 22-27, 2005 : proceedingsInternational Conference on Automated Deduction (20th 2005 Tallinn, Estonia) Robert NieuwenhuisBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
9 |
Material Type: Livro
|
![]() |
Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedingsTABLEAUX 2005 (2005 Koblenz, Germany) Bernhard BeckertBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
10 |
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. |