語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Logic, language, and security = essa...
~
Nigam, Vivek.
FindBook
Google Book
Amazon
博客來
Logic, language, and security = essays dedicated to Andre Scedrov on the occasion of his 65th birthday /
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Logic, language, and security/ edited by Vivek Nigam ... [et al.].
其他題名:
essays dedicated to Andre Scedrov on the occasion of his 65th birthday /
其他作者:
Nigam, Vivek.
出版者:
Cham :Springer International Publishing : : 2020.,
面頁冊數:
x, 203 p. :ill., digital ;24 cm.
Contained By:
Springer Nature eBook
標題:
Computer logic. -
電子資源:
https://doi.org/10.1007/978-3-030-62077-6
ISBN:
9783030620776
Logic, language, and security = essays dedicated to Andre Scedrov on the occasion of his 65th birthday /
Logic, language, and security
essays dedicated to Andre Scedrov on the occasion of his 65th birthday /[electronic resource] :edited by Vivek Nigam ... [et al.]. - Cham :Springer International Publishing :2020. - x, 203 p. :ill., digital ;24 cm. - Lecture notes in computer science,123000302-9743 ;. - Lecture notes in computer science ;12300..
This Festschrift is in honor of Prof. Andre Scedrov at the University of Pennsylvania. Scedrov has laid the foundations for a number of now well-established domains in mathematics and computer science including Proof Theory, Logic in Computer Science, Foundations in Computer Security, and Linguistics. This combination of breadth and penetrating originality is rare and impressive. This Festschrift only tries to reflect this combination with a number of contributions distributed among these different topics. It contains 11 technical articles and 3 short papers organized among sections on Logic, Logic and Computing, Logic and Security, and Logic and Language. Those articles are authored by researchers around the world, including North America, Russia, Europe, and Japan, that have been directly or indirectly impacted by Andre Scedrov. The chapter "A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems" is available open access under a CC BY 4.0 license at link.springer.com.
ISBN: 9783030620776
Standard No.: 10.1007/978-3-030-62077-6doiSubjects--Personal Names:
3526680
Scedrov, Andre,
1955-Subjects--Topical Terms:
840463
Computer logic.
LC Class. No.: QA76.9.L63 / L65 2020
Dewey Class. No.: 005.131
Logic, language, and security = essays dedicated to Andre Scedrov on the occasion of his 65th birthday /
LDR
:02214nmm a2200337 a 4500
001
2256426
003
DE-He213
005
20201028114407.0
006
m d
007
cr nn 008maaau
008
220420s2020 sz s 0 eng d
020
$a
9783030620776
$q
(electronic bk.)
020
$a
9783030620769
$q
(paper)
024
7
$a
10.1007/978-3-030-62077-6
$2
doi
035
$a
978-3-030-62077-6
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA76.9.L63
$b
L65 2020
072
7
$a
UYA
$2
bicssc
072
7
$a
MAT018000
$2
bisacsh
072
7
$a
UYA
$2
thema
082
0 4
$a
005.131
$2
23
090
$a
QA76.9.L63
$b
L832 2020
245
0 0
$a
Logic, language, and security
$h
[electronic resource] :
$b
essays dedicated to Andre Scedrov on the occasion of his 65th birthday /
$c
edited by Vivek Nigam ... [et al.].
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2020.
300
$a
x, 203 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
12300
490
1
$a
Theoretical computer science and general issues
520
$a
This Festschrift is in honor of Prof. Andre Scedrov at the University of Pennsylvania. Scedrov has laid the foundations for a number of now well-established domains in mathematics and computer science including Proof Theory, Logic in Computer Science, Foundations in Computer Security, and Linguistics. This combination of breadth and penetrating originality is rare and impressive. This Festschrift only tries to reflect this combination with a number of contributions distributed among these different topics. It contains 11 technical articles and 3 short papers organized among sections on Logic, Logic and Computing, Logic and Security, and Logic and Language. Those articles are authored by researchers around the world, including North America, Russia, Europe, and Japan, that have been directly or indirectly impacted by Andre Scedrov. The chapter "A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems" is available open access under a CC BY 4.0 license at link.springer.com.
600
1 0
$a
Scedrov, Andre,
$d
1955-
$3
3526680
650
0
$a
Computer logic.
$3
840463
650
0
$a
Logic.
$3
529544
650
0
$a
Computer security.
$3
540555
650
0
$a
Natural language processing (Computer science)
$3
565309
650
1 4
$a
Mathematical Logic and Formal Languages.
$3
892517
650
2 4
$a
Artificial Intelligence.
$3
769149
650
2 4
$a
Logics and Meanings of Programs.
$3
892495
650
2 4
$a
Computer Systems Organization and Communication Networks.
$3
891212
650
2 4
$a
Software Engineering/Programming and Operating Systems.
$3
891214
700
1
$a
Nigam, Vivek.
$3
3526681
710
2
$a
SpringerLink (Online service)
$3
836513
773
0
$t
Springer Nature eBook
830
0
$a
Lecture notes in computer science ;
$v
12300.
$3
3526682
830
0
$a
Theoretical computer science and general issues.
$3
3382501
856
4 0
$u
https://doi.org/10.1007/978-3-030-62077-6
950
$a
Computer Science (SpringerNature-11645)
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9412061
電子資源
11.線上閱覽_V
電子書
EB QA76.9.L63 L65 2020
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入