Switch to: References

Add citations

You must login to add citations.
  1. Computing and Experiments: A Methodological View on the Debate on the Scientific Nature of Computing.Viola Schiaffonati & Mario Verdicchio - 2014 - Philosophy and Technology 27 (3):359-376.
    The question about the scientific nature of computing has been widely debated with no universal consensus reached about its disciplinary status. Positions vary from acknowledging computing as the science of computers to defining it as a synthetic engineering discipline. In this paper, we aim at discussing the nature of computing from a methodological perspective. We consider, in particular, the nature and role of experiments in this field, whether they can be considered close to the traditional experimental scientific method or, instead, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.
  • A man-machine theorem-proving system.W. W. Bledsoe & Peter Bruell - 1974 - Artificial Intelligence 5 (1):51-72.