語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Towards Paraconsistent Engineering
~
Akama, Seiki.
Towards Paraconsistent Engineering
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Towards Paraconsistent Engineering/ edited by Seiki Akama.
其他作者:
Akama, Seiki.
面頁冊數:
XVI, 234 p. 52 illus., 9 illus. in color.online resource. :
Contained By:
Springer Nature eBook
標題:
Computational intelligence. -
電子資源:
https://doi.org/10.1007/978-3-319-40418-9
ISBN:
9783319404189
Towards Paraconsistent Engineering
Towards Paraconsistent Engineering
[electronic resource] /edited by Seiki Akama. - 1st ed. 2016. - XVI, 234 p. 52 illus., 9 illus. in color.online resource. - Intelligent Systems Reference Library,1101868-4394 ;. - Intelligent Systems Reference Library,67.
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.
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. .
ISBN: 9783319404189
Standard No.: 10.1007/978-3-319-40418-9doiSubjects--Topical Terms:
568984
Computational intelligence.
LC Class. No.: Q342
Dewey Class. No.: 006.3
Towards Paraconsistent Engineering
LDR
:02605nam a22004095i 4500
001
972652
003
DE-He213
005
20200702005502.0
007
cr nn 008mamaa
008
201211s2016 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
035
$a
978-3-319-40418-9
050
4
$a
Q342
072
7
$a
UYQ
$2
bicssc
072
7
$a
TEC009000
$2
bisacsh
072
7
$a
UYQ
$2
thema
082
0 4
$a
006.3
$2
23
245
1 0
$a
Towards Paraconsistent Engineering
$h
[electronic resource] /
$c
edited by Seiki Akama.
250
$a
1st ed. 2016.
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
Computational intelligence.
$3
568984
650
0
$a
Artificial intelligence.
$3
559380
650
0
$a
Mathematical logic.
$2
bicssc
$3
810627
650
0
$a
Logic.
$3
558909
650
0
$a
Computer logic.
$3
786340
650
1 4
$a
Computational Intelligence.
$3
768837
650
2 4
$a
Artificial Intelligence.
$3
646849
650
2 4
$a
Mathematical Logic and Foundations.
$3
669393
650
2 4
$a
Logics and Meanings of Programs.
$3
670058
700
1
$a
Akama, Seiki.
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
1062348
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer Nature eBook
776
0 8
$i
Printed edition:
$z
9783319404172
776
0 8
$i
Printed edition:
$z
9783319404196
776
0 8
$i
Printed edition:
$z
9783319820958
830
0
$a
Intelligent Systems Reference Library,
$x
1868-4394 ;
$v
67
$3
1253823
856
4 0
$u
https://doi.org/10.1007/978-3-319-40418-9
912
$a
ZDB-2-ENG
912
$a
ZDB-2-SXE
950
$a
Engineering (SpringerNature-11647)
950
$a
Engineering (R0) (SpringerNature-43712)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入