Language:
English
繁體中文
Help
回圖書館首頁
手機版館藏查詢
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
R-calculus.. IV,. Propositional logic
~
Li, Wei.
Linked to FindBook
Google Book
Amazon
博客來
R-calculus.. IV,. Propositional logic
Record Type:
Electronic resources : Monograph/item
Title/Author:
R-calculus./ by Wei Li, Yuefei Sui.
remainder title:
Propositional logic
Author:
Li, Wei.
other author:
Sui, Yuefei.
Published:
Singapore :Springer Nature Singapore : : 2023.,
Description:
xiii, 252 p. :ill., digital ;24 cm.
Contained By:
Springer Nature eBook
Subject:
Propositional calculus. -
Online resource:
https://doi.org/10.1007/978-981-19-8633-8
ISBN:
9789811986338
R-calculus.. IV,. Propositional logic
Li, Wei.
R-calculus.
IV,Propositional logic[electronic resource] /Propositional logicby Wei Li, Yuefei Sui. - Singapore :Springer Nature Singapore :2023. - xiii, 252 p. :ill., digital ;24 cm. - Perspectives in formal induction, revision and evolution,2731-3697. - Perspectives in formal induction, revision and evolution..
ISBN: 9789811986338
Standard No.: 10.1007/978-981-19-8633-8doiSubjects--Topical Terms:
1050638
Propositional calculus.
LC Class. No.: QA9.3
Dewey Class. No.: 511.3
R-calculus.. IV,. Propositional logic
LDR
:01037nmm a2200325 a 4500
001
2316978
003
DE-He213
005
20230327220318.0
006
m d
007
cr nn 008maaau
008
230902s2023 si s 0 eng d
020
$a
9789811986338
$q
(electronic bk.)
020
$a
9789811986321
$q
(paper)
024
7
$a
10.1007/978-981-19-8633-8
$2
doi
035
$a
978-981-19-8633-8
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA9.3
072
7
$a
UYA
$2
bicssc
072
7
$a
MAT018000
$2
bisacsh
072
7
$a
UYA
$2
thema
082
0 4
$a
511.3
$2
23
090
$a
QA9.3
$b
.L693 2023
100
1
$a
Li, Wei.
$3
884990
245
1 0
$a
R-calculus.
$n
IV,
$p
Propositional logic
$h
[electronic resource] /
$c
by Wei Li, Yuefei Sui.
246
3 0
$a
Propositional logic
260
$a
Singapore :
$b
Springer Nature Singapore :
$b
Imprint: Springer,
$c
2023.
300
$a
xiii, 252 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Perspectives in formal induction, revision and evolution,
$x
2731-3697
650
0
$a
Propositional calculus.
$3
1050638
650
1 4
$a
Formal Languages and Automata Theory.
$3
3592087
650
2 4
$a
Mathematical Logic and Foundations.
$3
892656
650
2 4
$a
Logic in AI.
$3
3386372
650
2 4
$a
Mathematical Modeling and Industrial Mathematics.
$3
891089
650
2 4
$a
Mathematics of Computing.
$3
891213
700
1
$a
Sui, Yuefei.
$3
3521755
710
2
$a
SpringerLink (Online service)
$3
836513
773
0
$t
Springer Nature eBook
830
0
$a
Perspectives in formal induction, revision and evolution.
$3
3521756
856
4 0
$u
https://doi.org/10.1007/978-981-19-8633-8
950
$a
Computer Science (SpringerNature-11645)
based on 0 review(s)
Location:
ALL
電子資源
Year:
Volume Number:
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
W9453228
電子資源
11.線上閱覽_V
電子書
EB QA9.3
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login