ERSHOV
2001
Springer
14 years 4 months ago
2001
Springer
ERSHOV
2001
Springer
14 years 4 months ago
2001
Springer
ERSHOV
2001
Springer
14 years 4 months ago
2001
Springer
A general semantics-based framework for the analysis of logic programs with delay declarations is presented. The framework incorporates well known refinement techniques based on r...
ERSHOV
2001
Springer
14 years 4 months ago
2001
Springer
ERSHOV
2001
Springer
14 years 4 months ago
2001
Springer
There are many different ways of proving formulas in proposition logic. Many of these can easily be characterized as forms of resolution (e.g. [12] and [9]). Others use so-called...
ERSHOV
2001
Springer
14 years 4 months ago
2001
Springer
ERSHOV
2001
Springer
14 years 4 months ago
2001
Springer
DIS
2001
Springer
14 years 4 months ago
2001
Springer
DIS
2001
Springer
14 years 4 months ago
2001
Springer
Electron velocity distribution obtained by direct spacecraft observation in space is contaminated by photoelectrons. The photoelectrons are generated due to the solar ultraviolet r...
DIS
2001
Springer
14 years 4 months ago
2001
Springer
Abstract. State of the art equation discovery systems start the discovery process from scratch, rather than from an initial hypothesis in the space of equations. On the other hand,...