Introduction to Annotated Logics (Record no. 55879)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 02537nam a22005175i 4500 |
001 - CONTROL NUMBER | |
control field | 978-3-319-17912-4 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20200421111847.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 150409s2015 gw | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9783319179124 |
-- | 978-3-319-17912-4 |
082 04 - CLASSIFICATION NUMBER | |
Call Number | 006.3 |
100 1# - AUTHOR NAME | |
Author | Abe, Jair Minoro. |
245 10 - TITLE STATEMENT | |
Title | Introduction to Annotated Logics |
Sub Title | Foundations for Paracomplete and Paraconsistent Reasoning / |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | X, 190 p. 22 illus. |
490 1# - SERIES STATEMENT | |
Series statement | Intelligent Systems Reference Library, |
505 0# - FORMATTED CONTENTS NOTE | |
Remark 2 | Introduction -- Propositional Annotated Logics P -- Predicate Annotated Logics Q -- Formal Issues -- Variants and Related Systems -- Applications -- Conclusions. |
520 ## - SUMMARY, ETC. | |
Summary, etc | This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science. The book will be of interest to pure and applied logicians, philosophers, and computer scientists as a monograph on a kind of paraconsistent logic. But, the layman will also take profit from its reading. |
700 1# - AUTHOR 2 | |
Author 2 | Akama, Seiki. |
700 1# - AUTHOR 2 | |
Author 2 | Nakamatsu, Kazumi. |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | http://dx.doi.org/10.1007/978-3-319-17912-4 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | eBooks |
264 #1 - | |
-- | Cham : |
-- | Springer International Publishing : |
-- | Imprint: Springer, |
-- | 2015. |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Engineering. |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Logic design. |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Artificial intelligence. |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Computational intelligence. |
650 14 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Engineering. |
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Computational Intelligence. |
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Artificial Intelligence (incl. Robotics). |
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Logic Design. |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
-- | 1868-4394 ; |
912 ## - | |
-- | ZDB-2-ENG |
No items available.