Predicate Answer Set Programming with Coinduction: Coinductive SLDNF and its applcation to Predicate Answer Set Programming

Coinduction

von Richard Min

Taschenbuch

EAN=ISBN-13: 978-3-8433-6582-6

ISBN-10: 3-8433-6582-2

LAP LAMBERT Academic Publishing · 2010