کتاب های Torsten Schaub (auth.)
![The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation](http://cdn.ketabkoo.com/covers/10/1001643-n.jpg)
The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation
Torsten Schaub (auth.), 1997![Answer Set Solving in Practice](http://cdn.ketabkoo.com/covers/11/1191072-n.jpg)
Answer Set Solving in Practice
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, 2013![Answer Set Solving in Practice](http://cdn.ketabkoo.com/covers/17/1725809-n.jpg)