1128 search results - page 5 / 226 » Little Engines of Proof |
FASE
2008
Springer
14 years 11 months ago
2008
Springer
CPAIOR
2009
Springer
15 years 3 months ago
2009
Springer
116
click to vote
ISAS
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
IEICET
2007
14 years 9 months ago
2007
ECAI
2004
Springer
15 years 2 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...