next up previous
Next: About this document ...

\epsfig{file=/home/db/imm/posters/poster1.eps}

\epsfig{file=/home/db/imm/posters/dbposter2.eps}

\epsfig{file=/home/db/imm/posters/dbposter3.eps}

\epsfig{file=/home/db/imm/posters/dbposter4.eps}


Dines Bjorner
2001-09-09