國立虎尾科技大學 |

Semantics, Logics, and Calculi = Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Semantics, Logics, and Calculi/ edited by Christian W. Probst, Chris Hankin, René Rydhof Hansen.
其他題名:	Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays /
其他作者:	Probst, Christian W.
面頁冊數:	X, 345 p. 96 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Computer logic. -
電子資源:	https://doi.org/10.1007/978-3-319-27810-0
ISBN:	9783319278100

Semantics, Logics, and Calculi = Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays /
Semantics, Logics, and CalculiEssays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays /[electronic resource] :edited by Christian W. Probst, Chris Hankin, René Rydhof Hansen. - 1st ed. 2016. - X, 345 p. 96 illus. in color.online resource. - Theoretical Computer Science and General Issues ;9560. - Theoretical Computer Science and General Issues ;9163.

This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively. The papers included in this volume deal with the wide area of calculi, semantics, and analysis. The book features contributions from colleagues, who have worked together with Hanne and Flemming through their scientific life and are dedicated to them and to their work. The papers were presented at a colloquium at the Technical University of Denmark in January 2016. .

ISBN: 9783319278100

Standard No.: 10.1007/978-3-319-27810-0doiSubjects--Topical Terms:

786340
Computer logic.

LC Class. No.: QA76.9.L63

Dewey Class. No.: 005.1015113

Semantics, Logics, and Calculi = Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays /
LDR:02075nam a22004215i 4500 001 974889
003 DE-He213
005 20200704092221.0
007 cr nn 008mamaa
008 201211s2016 gw | s |||| 0|eng d
020 $a 9783319278100 $9 978-3-319-27810-0
024 7 $a 10.1007/978-3-319-27810-0 $2 doi
035 $a 978-3-319-27810-0
050 4 $a QA76.9.L63
050 4 $a QA76.5913
072 7 $a UM $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a UM $2 thema
072 7 $a UYF $2 thema
082 0 4 $a 005.1015113 $2 23
245 1 0 $a Semantics, Logics, and Calculi $h [electronic resource] : $b Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays / $c edited by Christian W. Probst, Chris Hankin, René Rydhof Hansen.
250 $a 1st ed. 2016.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a X, 345 p. 96 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 Theoretical Computer Science and General Issues ; $v 9560
520 $a This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively. The papers included in this volume deal with the wide area of calculi, semantics, and analysis. The book features contributions from colleagues, who have worked together with Hanne and Flemming through their scientific life and are dedicated to them and to their work. The papers were presented at a colloquium at the Technical University of Denmark in January 2016. .
650 0 $a Computer logic. $3 786340
650 0 $a Software engineering. $3 562952
650 0 $a Application software. $3 528147
650 0 $a Algorithms. $3 527865
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Programming languages (Electronic computers). $3 1127615
650 1 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Information Systems Applications (incl. Internet). $3 881699
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 593923
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
700 1 $a Probst, Christian W. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1269552
700 1 $a Hankin, Chris. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 675500
700 1 $a Hansen, René Rydhof. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1269553
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319278094
776 0 8 $i Printed edition: $z 9783319278117
830 0 $a Theoretical Computer Science and General Issues ; $v 9163 $3 1253524
856 4 0 $u https://doi.org/10.1007/978-3-319-27810-0
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)