000 | 02537nam a22005175i 4500 | ||
---|---|---|---|
001 | 978-3-319-17912-4 | ||
003 | DE-He213 | ||
005 | 20200421111847.0 | ||
007 | cr nn 008mamaa | ||
008 | 150409s2015 gw | s |||| 0|eng d | ||
020 |
_a9783319179124 _9978-3-319-17912-4 |
||
024 | 7 |
_a10.1007/978-3-319-17912-4 _2doi |
|
050 | 4 | _aQ342 | |
072 | 7 |
_aUYQ _2bicssc |
|
072 | 7 |
_aCOM004000 _2bisacsh |
|
082 | 0 | 4 |
_a006.3 _223 |
100 | 1 |
_aAbe, Jair Minoro. _eauthor. |
|
245 | 1 | 0 |
_aIntroduction to Annotated Logics _h[electronic resource] : _bFoundations for Paracomplete and Paraconsistent Reasoning / _cby Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu. |
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015. |
|
300 |
_aX, 190 p. 22 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aIntelligent Systems Reference Library, _x1868-4394 ; _v88 |
|
505 | 0 | _aIntroduction -- Propositional Annotated Logics P -- Predicate Annotated Logics Q -- Formal Issues -- Variants and Related Systems -- Applications -- Conclusions. | |
520 | _aThis 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. | ||
650 | 0 | _aEngineering. | |
650 | 0 | _aLogic design. | |
650 | 0 | _aArtificial intelligence. | |
650 | 0 | _aComputational intelligence. | |
650 | 1 | 4 | _aEngineering. |
650 | 2 | 4 | _aComputational Intelligence. |
650 | 2 | 4 | _aArtificial Intelligence (incl. Robotics). |
650 | 2 | 4 | _aLogic Design. |
700 | 1 |
_aAkama, Seiki. _eauthor. |
|
700 | 1 |
_aNakamatsu, Kazumi. _eauthor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783319179117 |
830 | 0 |
_aIntelligent Systems Reference Library, _x1868-4394 ; _v88 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-319-17912-4 |
912 | _aZDB-2-ENG | ||
942 | _cEBK | ||
999 |
_c55879 _d55879 |