Bücher nach ISBN
>
VDM Verlag Dr. Müller
> Fabian Suchanek
Fabian Suchanek
F・S
Titel
ISBN-13
(ISBN-10)
Erscheinungsjahr
Automated Reasoning and Common Sense: Higher Order Aspirations with First Order Logic
978-3-639-OO393-2
(3-639-OO393-4)
2008
Fabiana Sacchi