LEADER 04206nam  22007815  450 
001 996418286403316
005 20200705020423.0
010   $a3-030-48006-2
024 7 $a10.1007/978-3-030-48006-6
035   $a(CKB)4100000011263834
035   $a(MiAaPQ)EBC6208511
035   $a(DE-He213)978-3-030-48006-6
035   $a(PPN)248394673
035   $a(EXLCZ)994100000011263834
100   $a20200522d2020      u|             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFields of Logic and Computation III$b[electronic resource] $eEssays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday /$fedited by Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (x, 341 pages)
225 1 $aProgramming and Software Engineering ;$v12180
311   $a3-030-48005-4 
327   $aComputation -- 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. .
330   $aThis 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.
410  0$aProgramming and Software Engineering ;$v12180
606   $aComputer programming
606   $aData structures (Computer science)
606   $aComputer communication systems
606   $aSpecial purpose computers
606   $aArtificial intelligence
606   $aComputer logic
606   $aSoftware engineering
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aData Structures$3https://scigraph.springernature.com/ontologies/product-market-codes/I15017
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030
606   $aLogic in AI$3https://scigraph.springernature.com/ontologies/product-market-codes/I21020
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
615  0$aComputer programming.
615  0$aData structures (Computer science).
615  0$aComputer communication systems.
615  0$aSpecial purpose computers.
615  0$aArtificial intelligence.
615  0$aComputer logic.
615  0$aSoftware engineering.
615 14$aProgramming Techniques.
615 24$aData Structures.
615 24$aComputer Communication Networks.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aLogic in AI.
615 24$aSoftware Engineering.
676   $a004.015113
702   $aBlass$b Andreas$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aCégielski$b Patrick$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aDershowitz$b Nachum$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aDroste$b Manfred$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aFinkbeiner$b Bernd$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996418286403316
996   $aFields of Logic and Computation III$92227010
997   $aUNISA