Cogprints

Book Review -- Anil Nerode and Richard A. Shore, Logic for Applications

Tin, Erkan and Akman, Varol (1995) Book Review -- Anil Nerode and Richard A. Shore, Logic for Applications. [Journal (Paginated)]

Full text available as:

[img]Postscript
60Kb

Abstract

This is review of Logic for Applications, by Anil Nerode and Richard A. Shore, published by Springer-Verlag in 1993.

Item Type:Journal (Paginated)
Keywords:propositional logic, predicate logic, tableau proofs, models, nonclassical logics, logic programming, Prolog, history of logic.
Subjects:Computer Science > Artificial Intelligence
Philosophy > Logic
ID Code:340
Deposited By:Akman, Varol
Deposited On:02 Jul 1998
Last Modified:11 Mar 2011 08:53

Metadata

Repository Staff Only: item control page