Open menu
LPAR (Conference) (17th 2010 Yogyakarta, Indonesia)
Logic for programming, artificial intelligence, and reasoning