Information and Knowledge
Subtitle: A Constructive Type-Theoretical Approach
Publisher: Springer London, Limited
Published: 2008
Language: eng
ISBN-13: 9781402061707
Subjects: Information theory; Knowledge representation (information theory)