The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation (Lecture Notes in Computer Science (1409), Band 1409)

Foundations

von Torsten Schaub

Taschenbuch

ISBN: 978-3-540-64515-3

ISBN-10: 3-540-64515-2

Springer · 2008