6201 search results - page 55 / 1241 » Implementation of Axiomatic Language |
123
click to vote
EDOC
2007
IEEE
15 years 10 months ago
2007
IEEE
The increasing complexity of modern Information Services (IS) makes necessary to carry on review activities. For many companies, these reviews take place within the framework of t...
127
Voted
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
119
Voted
MKM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In previous papers we described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, provin...
132
Voted
TYPES
1999
Springer
15 years 8 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
117
click to vote
ECAI
1994
Springer
15 years 8 months ago
1994
Springer
This paper describes a computational model of similarity developed to support analogical software reuse. Similarity is computed from conceptual descriptions of software artifacts o...