188 search results - page 2 / 38 » What Is a Skeptical Proof |
AGILEDC
2006
IEEE
14 years 1 months ago
2006
IEEE
How do we implement Agile? Is Agile a good thing for my organization? What barriers will I have to overcome? All of these are important questions when deciding whether and how to ...
CADE
2005
Springer
14 years 7 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
SIGSOFT
2001
ACM
14 years 8 months ago
2001
ACM
Most quality and software process improvement frameworks emphasize written (i.e. formal) documentation to convey recommended work practices. However, there is considerable skeptic...
CIE
2010
Springer
14 years 4 days ago
2010
Springer
This paper is an informal (and nonexhaustive) overview over some existing notions of proof nets for classical logic, and gives some hints why they might be considered to be unsatis...
JCAL
2011
12 years 10 months ago
2011
Following the increasing calls for a more skeptical analysis of web 2.0 and the empowerment of learners’ voices in formulating upcoming technologies, this paper elaborates on the...