01210nam--2200373---450-99000309033020331620080403105017.0978-3-540-78126-4000309033USA01000309033(ALEPH)000309033USA0100030903320080403d2008----km-y0itay50------baengDEy---||||001yyPillars of computer scienceessays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthdayArnon Avron, Nachum Dershowitz, Alexander Rabinovich (eds.)Berlin (etc.)Springercopyr. 2008XXI, 681 p.24 cmLecture notes in computer scienceFestschrift48002001Lecture notes in computer science4800Informatica004AVRON,AvronDERSHOWITZ,NachumRABINOVICH,AlexanderITsalbcISBD990003090330203316001 LNCS 480036579/CBS00100216910BKSCIANGELA9020080403USA011050Pillars of Computer Science774407UNISA