東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁 到查詢結果 [ subject:"Scedrov, Andre," ]

切換: 標籤 | 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 securityessays 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)