peoplepill id: ray-turner-2
American artist
Ray Turner
The basics
Quick Facts
The details (from wikipedia)
Biography
Professor Raymond Turner (born 28 April 1947) is an English logician and theoretical computer scientist based at the University of Essex. He is best known for his work on logic in computer science and for his pioneering work in the philosophy of computer science. He is on the editorial boards for the "Journal of Logic and Computation" and the "Stanford Encyclopaedia of Philosophy: Editor Logic, Computation, and Agency."
Books
- Logics for Artificial Intelligence, 121 pages, E. Horwood, 1984, ISBN 0-470-20123-1
- Truth and Modality for Knowledge Representation, 119 pages, Pitman, 1990, ISBN 0-273-03186-4
- Constructive Foundations for Functional Languages, 288 pages, McGraw-Hill Publishing Co, 1 May 1991, ISBN 0-07-707411-4
- Computable Models, 240 pages, Springer, 2009, ISBN 1-84882-051-8
The contents of this page are sourced from Wikipedia article.
The contents are available under the CC BY-SA 4.0 license.
Lists
Ray Turner is in following lists
comments so far.
Comments
Ray Turner