Logic for programming, artificial intelligence, and reasoning 15th international conference, LPAR 2008, Doha, Qatar, November 22 - 27, 2008 ; proceedings (Springer, 2008)
Literaturangaben