Miki Hermann

1 published title

Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 ; proceedings

(Contributor)

1 edition