232 search results - page 9 / 47 » Reflection principles in computational logic |
CADE
1990
Springer
13 years 11 months ago
1990
Springer
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
DIS
1999
Springer
14 years 11 hour ago
1999
Springer
After two decades of research on automated discovery, many principles are shaping up as a foundation of discovery science. In this paper we view discovery science as automation of ...
IIE
2008
13 years 7 months ago
2008
Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does...
CSL
2003
Springer
14 years 29 days ago
2003
Springer
The semantics of class-based languages can be defined in terms of objects only [8, 7, 1] if classes are viewed as objects with a constructor method. One obtains a store in which m...
IJVR
2008
13 years 7 months ago
2008
We are exploring a new application of virtual and augmented reality for a novel direction in human-computer interaction named `cultural computing', which aims to provide a new...