title: Book Review -- Anil Nerode and Richard A. Shore, Logic for Applications
creator: Tin, Erkan
creator: Akman, Varol
subject: Artificial Intelligence
subject: Logic
description: This is review of Logic for Applications, by Anil Nerode and Richard A. Shore, published by Springer-Verlag in 1993.
date: 1995
type: Journal (Paginated)
type: PeerReviewed
format: application/postscript
identifier: http://cogprints.org/340/2/lfa.ps
identifier:   Tin, Erkan and Akman, Varol  (1995) Book Review -- Anil Nerode and Richard A. Shore, Logic for Applications.  [Journal (Paginated)]     
relation: http://cogprints.org/340/