Beschreibung
This book provides an approach to knowledge representation, computation, and learning using higher-order logic. It is aimed at researchers, graduate students, and senior undergraduates working in computational logic and/or machine learning.
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com




































































































