Richard Min

R. M. · Richard M.

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Predicate Answer Set Programming with Coinduction: Coinductive SLDNF and its applcation to Predicate Answer Set Programming978-3-8433-6582-6
(3-8433-6582-2)
2010

Richard Minadeo