Reasoning with Logic Programming (Lecture Notes in Computer Science (1111), Band 1111)

Reasoning

von José Júlio Alferes

Taschenbuch

ISBN: 978-3-540-61488-3

ISBN-10: 3-540-61488-5

Springer · 2009