Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
PrefaceArmando, Alessandro ; Baumgartner, Peter ; Dowek, GillesJournal of automated reasoning, 2010, Vol.45 (2), p.89-89 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Theorem Proving ModuloDowek Gilles ; Hardin, Thérèse ; Kirchner, ClaudeJournal of automated reasoning, 2003-09, Vol.31 (1), p.33-72 [Periódico revisado por pares]Dordrecht: Springer Nature B.VTexto completo disponível |