國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Logic, language, and securityessays ...

Nigam, Vivek.

Logic, language, and securityessays dedicated to Andre Scedrov on the occasion of his 65th birthday /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Logic, language, and securityedited 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$q(electronic bk.)

Logic, language, and securityessays 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 ;4891..

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$q(electronic bk.)

Standard No.: 10.1007/978-3-030-62077-6doiSubjects--Personal Names:

880364
Scedrov, Andre,
1955-Subjects--Topical Terms:

199471
Computer logic.

LC Class. No.: QA76.9.L63 / L65 2020

Dewey Class. No.: 005.131

Logic, language, and securityessays dedicated to Andre Scedrov on the occasion of his 65th birthday /
LDR:02214nmm a2200337 a 4500 001 588808
003 DE-He213
005 20201028114407.0
006 m d
007 cr nn 008maaau
008 210525s2020 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 880364
650 0 $a Computer logic. $3 199471
650 0 $a Logic. $3 180785
650 0 $a Computer security. $3 184416
650 0 $a Natural language processing (Computer science) $3 200539
650 1 4 $a Mathematical Logic and Formal Languages. $3 275383
650 2 4 $a Artificial Intelligence. $3 212515
650 2 4 $a Logics and Meanings of Programs. $3 275357
650 2 4 $a Computer Systems Organization and Communication Networks. $3 273709
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 273711
700 1 $a Nigam, Vivek. $3 880365
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Theoretical computer science and general issues. $3 822018
856 4 0 $u https://doi.org/10.1007/978-3-030-62077-6
950 $a Computer Science (SpringerNature-11645)