Tin, Erkan and Akman, Varol (1995) Book Review -- Anil Nerode and Richard A. Shore, Logic for Applications. [Journal (Paginated)]
![[img]](http://cogprints.org/style/images/fileicons/application_postscript.png)
| 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: | 19 Dec 2009 19:15 |
Metadata
- ID Plus Text Citation
- RDF+XML
- BibTeX
- Pageflow Montage
- JSON
- Dublin Core
- OAI-ORE Resource Map (Atom Format)
- Simple Metadata
- Refer
- METS
- OAI-ORE Resource Map (RDF Format)
- Search Data Dump
- Pageflow
- HTML Citation
- ASCII Citation
- YAML
- EPrints Application Profile (experimental)
- OpenURL ContextObject
- EndNote
- OpenURL ContextObject in Span
- MODS
- DIDL
- EP3 XML
- Reference Manager
- RDF+N3
- Eprints Application Profile
Repository Staff Only: item control page
