1302 search results - page 2 / 261 » Free-Style Theorem Proving |
89
Voted
IGPL
1998
14 years 11 months ago
1998
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...
102
click to vote
JAR
2000
14 years 11 months ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
111
click to vote
TC
2010
14 years 10 months ago
2010
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
70
Voted
JANCL
2000
14 years 11 months ago
2000
54
Voted
AMAI
1999
Springer
14 years 11 months ago
1999
Springer
