Search
for Author
All Reviews
Turner, Raymond
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
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
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy