232 search results - page 9 / 47 » Reflection principles in computational logic |
126
click to vote
CADE
1990
Springer
15 years 7 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...
143
click to vote
DIS
1999
Springer
15 years 7 months 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 ...
120
click to vote
IIE
2008
15 years 3 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...
114
click to vote
CSL
2003
Springer
15 years 8 months 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...
445
click to vote
IJVR
2008
15 years 3 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...