Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Arnon Avron Nachum Dershowitz Alexander Rabinovich Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday Pillars of Computer Science Lecture Notes in Computer Science 4800 Springer 2008 978-3-540-78126-4 db/conf/birthday/trakhtenbrot2008.html