Top 528 kurt vogel PDF Book Page 22

book image

Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d’Orso (auth.), Matthias Baaz, Johann A. Makowsky (eds.)
·602 Pages
·2003
·4.13 MB