✦ LIBER ✦

Towards a Mathematical Theory of Knowledge^*

✍ Scribed by Ru-Qian Lu

Publisher: Springer
Year: 2005
Tongue: English
Weight: 363 KB
Volume: 20
Category: Article
ISSN: 1000-9000
DOI: 10.1007/s11390-005-0751-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Essays Towards a Theory of Knowledge

✍ Philip, Alexander 📂 Fiction 📅 0 🌐 English ⚖ 52 KB

Towards a theory of mathematical operati

Towards a theory of mathematical operational semantics

✍ John Power 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 167 KB

Toward a framework for the development o

Toward a framework for the development of mathematical knowledge for teaching

✍ Jason Silverman; Patrick W. Thompson 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 213 KB

Theorema: Towards computer-aided mathema

Theorema: Towards computer-aided mathematical theory exploration

✍ Bruno Buchberger; Adrian Crǎciun; Tudor Jebelean; Laura Kovács; Temur Kutsia; Ko 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 580 KB

Theorema is a project that aims at supporting the entire process of mathematical theory exploration within one coherent logic and software system. This survey paper illustrates the style of Theoremasupported mathematical theory exploration by a case study (the automated synthesis of an algorithm for

Toward the mathematics of a general theo

Toward the mathematics of a general theory of behavior, II

✍ Edward W. Barankin 📂 Article 📅 1970 🏛 Springer Japan 🌐 English ⚖ 624 KB

Towards a knowledge technology for knowl

Towards a knowledge technology for knowledge management

✍ NICK MILTON; NIGEL SHADBOLT; HUGH COTTAM; MARK HAMMERSLEY 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 405 KB

Information Technology solutions, such as email, document management and intranets, are proving very useful in certain areas. However, many important problems still exist, providing opportunities for new techniques and tools more oriented towards knowledge. We refer to this as Knowledge Technology.