國立虎尾科技大學 |

Fields of Logic and Computation III = Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Fields of Logic and Computation III/ edited by Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner.
其他題名:	Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday /
其他作者:	Finkbeiner, Bernd.
面頁冊數:	X, 341 p. 184 illus., 9 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Software Engineering. -
電子資源:	https://doi.org/10.1007/978-3-030-48006-6
ISBN:	9783030480066

Fields of Logic and Computation III = Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday /
Fields of Logic and Computation IIIEssays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday /[electronic resource] :edited by Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner. - 1st ed. 2020. - X, 341 p. 184 illus., 9 illus. in color.online resource. - Programming and Software Engineering ;12180. - Programming and Software Engineering ;8987.

Computation -- Logic -- Verification -- Topos theory. -Parallel Computing -- Tree -- Gurevich conjecture -- Arabic algorithms -- Hyperbolic group -- Lattice-ordered group -- Temporal logic -- Metric logic -- Random convergence -- Knot theory -- Entropic convergence -- Random access machine, PTIME -- Algorithmic randomness. .

This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri’s 80th birthday. Because of the coronavirus situation, the conference had to be postponed, but this Festschrift is being published as originally planned. It addresses a very wide variety of topics, but by no means all of the fields of logic and computation in which Yuri has made important progress.

ISBN: 9783030480066

Standard No.: 10.1007/978-3-030-48006-6doiSubjects--Topical Terms:

669632
Software Engineering.

LC Class. No.: QA76.6-76.66

Dewey Class. No.: 005.11

Fields of Logic and Computation III = Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday /
LDR:02405nam a22004095i 4500 001 1027852
003 DE-He213
005 20200705020423.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030480066 $9 978-3-030-48006-6
024 7 $a 10.1007/978-3-030-48006-6 $2 doi
035 $a 978-3-030-48006-6
050 4 $a QA76.6-76.66
072 7 $a UM $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a UM $2 thema
082 0 4 $a 005.11 $2 23
245 1 0 $a Fields of Logic and Computation III $h [electronic resource] : $b Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday / $c edited by Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a X, 341 p. 184 illus., 9 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 Programming and Software Engineering ; $v 12180
505 0 $a Computation -- Logic -- Verification -- Topos theory. -Parallel Computing -- Tree -- Gurevich conjecture -- Arabic algorithms -- Hyperbolic group -- Lattice-ordered group -- Temporal logic -- Metric logic -- Random convergence -- Knot theory -- Entropic convergence -- Random access machine, PTIME -- Algorithmic randomness. .
520 $a This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri’s 80th birthday. Because of the coronavirus situation, the conference had to be postponed, but this Festschrift is being published as originally planned. It addresses a very wide variety of topics, but by no means all of the fields of logic and computation in which Yuri has made important progress.
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Logic in AI. $3 1228083
650 2 4 $a Special Purpose and Application-Based Systems. $3 669833
650 2 4 $a Computer Communication Networks. $3 669310
650 2 4 $a Data Structures. $3 669824
650 1 4 $a Programming Techniques. $3 669781
650 0 $a Software engineering. $3 562952
650 0 $a Computer logic. $3 786340
650 0 $a Artificial intelligence. $3 559380
650 0 $a Special purpose computers. $3 1204562
650 0 $a Computer communication systems. $3 1115394
650 0 $a Data structures (Computer science). $3 680370
650 0 $a Computer programming. $3 527822
700 1 $a Finkbeiner, Bernd. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1069377
700 1 $a Droste, Manfred. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 793274
700 1 $a Dershowitz, Nachum. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 678752
700 1 $a Cégielski, Patrick. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1324323
700 1 $a Blass, Andreas. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1255380
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030480059
776 0 8 $i Printed edition: $z 9783030480073
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-030-48006-6
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)