Pillars of computer science essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday
B. A Trakhtenbrot (Boris Avraamovich); Arnon Avron; Nachum Dershowitz; Alexander Rabinovich
Berlin Springer New York c2008
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS 4800 ) e outros locais(Acessar)