000 02728nam a22004095i 4500
999 _c103806
_d103806
_x1
001 103806
003 DE-He213
005 20230102113146.0
006 a||||fo|||| 00| 0
007 cr nn 008mamaa
008 150409s2015 gw | s |||| 0|eng d
020 _a9783319179124
024 7 _a10.1007/978-3-319-17912-4
_2doi
040 _bspa
_dES-MaUEC
050 4 _aQA76.63
_b2015 EB
100 1 _aAbe, Jair Minoro.
_eautor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_0http://id.loc.gov/authorities/names/n2002017505
_1http://viaf.org/viaf/21497638/
245 1 0 _aIntroduction to Annotated Logics
_bFoundations for Paracomplete and Paraconsistent Reasoning
_cby Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu.
264 1 _aCham
_bSpringer International Publishing
_c2015
300 _a1 recurso en línea (X, 190 páginas 22 ilustraciones)
336 _2rdacontent
_aTexto (visual)
_btxt
337 _2rdamedia
_aelectrónico
_bc
338 _2rdacarrier
_arecurso electrónico
_bcr
490 0 _aIntelligent Systems Reference Library,
_x1868-4394 ;
_v88
490 0 _aEngineering (Springer-11647)
505 0 _aIntroduction -- Propositional Annotated Logics P -- Predicate Annotated Logics Q -- Formal Issues -- Variants and Related Systems -- Applications -- Conclusions.
520 3 _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.
988 _aEBSPRINGER_2018
650 7 _aProgramación lógica
_2embne
_9160750
700 1 _aAkama, Seiki
_eautor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_0http://id.loc.gov/authorities/names/n96117706
_1http://viaf.org/viaf/243144783086147395697/
_999733
700 1 _aNakamatsu, Kazumi.
_eautor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_0http://id.loc.gov/authorities/names/no2006063765
_1http://viaf.org/viaf/12061488/
_999181
776 0 8 _iEdición impresa:
_z9783319179131
776 0 8 _iEdición impresa:
_z9783319179117
776 0 8 _iEdición impresa:
_z9783319386867
856 4 0 _uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-319-17912-4
_zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942 _2lcc
_cLE
998 _b04/2019
_dz
_eIG
_zSI