Cogprints
Login | Create Account

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]
Preview
Postscript - Requires a viewer, such as GSview
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:12 Sep 2007 17:26

Metadata

Repository Staff Only: item control page

Cogprints is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.