Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Turner, Raymond Add to Alert Profile  
 
Options:
Date Reviewed  
  1 - 4 of 4 reviews    
   Computational artifacts: towards a philosophy of computer science
Turner R., Springer International Publishing, New York, NY, 2018. 255 pp.  Type: Book (978-3-662555-64-4)

The philosophy of any discipline must account for the goals, methodology, and subject matter of the discipline [1]. There is a well-developed body of scholarship on the philosophy of mathematics and of science, especially physics and b...
...
Jul 15 2019  
  Computable models
Turner R., Springer Publishing Company, Incorporated, London, UK, 2009. 240 pp.  Type: Book (9781848820517), Reviews: (2 of 2)

Today’s scientific world has become strongly invested in the generic concept of computational science, that is, constructing computational models and numerical solution techniques that would allow computers to analyze and sol...
...
Nov 2 2009  
  Computable models
Turner R., Springer Publishing Company, Incorporated, London, UK, 2009. 240 pp.  Type: Book (9781848820517), Reviews: (1 of 2)

The title of this book is a misnomer; it suggests a work in recursion theory. In fact, this monograph shows how the Z and Vienna development method (VDM) specification languages, which are based on set theory, can have computable model...
...
Oct 16 2009  
  Truth and modality for knowledge representation
Turner R., MIT Press, Cambridge, MA, 1991.  Type: Book (9780262200806)

Turner has gathered the latest results of research on the development of formal languages and formal logics for knowledge representation systems that must reason about modality and truth. Although this book might serve as a textbook f...
...
Nov 1 1991  

   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy