|
|
|
|
| LEADER |
03022nam a22005295i 4500 |
| 001 |
978-3-319-40418-9 |
| 003 |
DE-He213 |
| 005 |
20160725155637.0 |
| 007 |
cr nn 008mamaa |
| 008 |
160725s2016 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783319404189
|9 978-3-319-40418-9
|
| 024 |
7 |
|
|a 10.1007/978-3-319-40418-9
|2 doi
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a Q342
|
| 072 |
|
7 |
|a UYQ
|2 bicssc
|
| 072 |
|
7 |
|a COM004000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 006.3
|2 23
|
| 245 |
1 |
0 |
|a Towards Paraconsistent Engineering
|h [electronic resource] /
|c edited by Seiki Akama.
|
| 264 |
|
1 |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2016.
|
| 300 |
|
|
|a XVI, 234 p. 52 illus., 9 illus. in color.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Intelligent Systems Reference Library,
|x 1868-4394 ;
|v 110
|
| 505 |
0 |
|
|a Introduction -- Why Paraconsistent Logics? -- An Application of Paraconsistent Logic to Physics: Complementarity -- Two Genuine 3-Valued Paraconsistent Logics -- A Survey of Annotated Logics -- A Paraconsistent Artificial Neural Network for Structuring Statistical Process Control in Electrical Engineering -- Programming with Annotated Logics -- A Review on Rough Sets and Possible World Semantics for Modal Logics -- Paraconsistency, Chellas’s Conditional Logics, and Association Rules -- A Beautiful Theorem.-Temporal Logic Modeling of Biological Systems -- Jair Minoro Abe on Paraconsistent Engineering.
|
| 520 |
|
|
|a This book presents a collection of contributions from related logics to applied paraconsistency. Moreover, all of them are dedicated to Jair Minoro Abe,on the occasion of his sixtieth birthday. He is one of the experts in Paraconsistent Engineering, who developed the so-called annotated logics. The book includes important contributions on foundations and applications of paraconsistent logics in connection with engineering, mathematical logic, philosophical logic, computer science, physics, economics, and biology. It will be of interest to students and researchers, who are working on engineering and logic. .
|
| 650 |
|
0 |
|a Engineering.
|
| 650 |
|
0 |
|a Logic.
|
| 650 |
|
0 |
|a Computer logic.
|
| 650 |
|
0 |
|a Artificial intelligence.
|
| 650 |
|
0 |
|a Mathematical logic.
|
| 650 |
|
0 |
|a Computational intelligence.
|
| 650 |
1 |
4 |
|a Engineering.
|
| 650 |
2 |
4 |
|a Computational Intelligence.
|
| 650 |
2 |
4 |
|a Artificial Intelligence (incl. Robotics).
|
| 650 |
2 |
4 |
|a Mathematical Logic and Foundations.
|
| 650 |
2 |
4 |
|a Logic.
|
| 650 |
2 |
4 |
|a Logics and Meanings of Programs.
|
| 700 |
1 |
|
|a Akama, Seiki.
|e editor.
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783319404172
|
| 830 |
|
0 |
|a Intelligent Systems Reference Library,
|x 1868-4394 ;
|v 110
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-319-40418-9
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-ENG
|
| 950 |
|
|
|a Engineering (Springer-11647)
|
