𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Knowledge and communication: A first-order theory

✍ Scribed by Ernest Davis


Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
365 KB
Volume
166
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A first order theory of bibliographic ob
✍ Karen Wickett; Allen Renear πŸ“‚ Article πŸ“… 2009 πŸ› Wiley (John Wiley & Sons) 🌐 English βš– 116 KB

## Abstract We present a characterization of the core entities and relationships of the Functional Requirements for Bibliographic Records (FRBR) in first order logic. Evidence from the text and diagrams in FRBR support the identification of axioms that capture the constraints and assumptions built

Interpolation theory and first-order bou
✍ W. N. Everitt; A. Poulkou πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 160 KB

## Abstract This paper discusses the connection between Kramer analytic kernels derived from first‐order, linear, ordinary boundary value problems represented by self‐adjoint differential operators and one form of the Lagrange interpolation formula, and treats the dual formulation of the sampling p