Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce

Correct Reasoning - Germany Springer 2012

978-3-642-30743-0


Computer Science
Correct Reasoning