Automated Reasoning and Common Sense: Higher Order Aspirations with First Order Logic

Automated

von Fabian Suchanek

Taschenbuch

ISBN-13: 978-3-639-00393-2

ISBN-10: 3-639-00393-4

VDM Verlag Dr. Müller · 2008