Bücher nach ISBN
>
LAP LAMBERT Academic Publishing
> Richard Min
Richard Min
R. M.
·
Richard M.
Titel
ISBN-13
(ISBN-10)
Erscheinungsjahr
Predicate Answer Set Programming with Coinduction: Coinductive SLDNF and its applcation to Predicate Answer Set Programming
978-3-8433-6582-6
(3-8433-6582-2)
2010
Richard Minadeo