Matthias Baaz
Logic Colloquium '01
Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Vienna, Austria August 6-11, 2001
Illustrated Ed
Editor: Matthias Baaz
A K Peters (United States), 2005
Hardback
Logic Colloquium '01
Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Vienna, Austria August 6-11, 2001
Illustrated Ed
Editor: Matthias Baaz
A K Peters (United States), 2005
Paperback
Logic For Programming, Artificial Intelligence And Reasoning
9Th International Conference, Lpar 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
Editor: Matthias Baaz
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2002
Paperback, 478 pages


