Ong, Luke

Luke Ong

Springer, Berlin

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings978-3-540-28231-0
(3-540-28231-9)
2008

Onnie Lee Logan