| 000 | 02665nam a22004455i 4500 | ||
|---|---|---|---|
| 999 |
_c200434599 _d52811 |
||
| 003 | DE-He213 | ||
| 005 | 20231104114443.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 150904s2015 gw | s |||| 0|eng d | ||
| 020 |
_a9783319235349 _z978-3-319-23534-9 |
||
| 024 | 7 |
_a10.1007/978-3-319-23534-9 _2doi |
|
| 040 |
_aTR-AnTOB _beng _cTR-AnTOB _erda |
||
| 050 | 4 | _aQA76.6-76.66 | |
| 072 | 7 |
_aUM _2bicssc |
|
| 072 | 7 |
_aCOM051000 _2bisacsh |
|
| 072 | 7 |
_aUM _2thema005.11 _223 |
|
| 245 | 1 | 0 |
_aFields of Logic and Computation II : _bEssays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday / _cedited by Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte. |
| 250 | _a1st ed. 2015. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015. |
|
| 300 | _a1 online resource | ||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 0 |
_aProgramming and Software Engineering ; _v9300 |
|
| 520 | _aFields of Logic and Computation II This Festschrift has been published in honor of Yuri Gurevich, on the occasion of his 75th birthday. Yuri Gurevich has made a number of fundamental contributions to the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the 20 articles in this Festschrift and in the presentations at the “Yurifest” symposium, which was held in Berlin, Germany, on September 11 and 12, 2015. The Yurifest symposium was co-located with the 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). | ||
| 650 | 0 | _aComputer science. | |
| 650 | 1 | 4 |
_aProgramming Techniques. _0http://scigraph.springernature.com/things/product-market-codes/I14010 |
| 700 | 1 |
_aBeklemishev, Lev D. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aBlass, Andreas. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aDershowitz, Nachum. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aFinkbeiner, Bernd. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aSchulte, Wolfram. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 856 | 4 | 0 |
_3Springer eBooks _zOnline access link to the resource _uhttps://doi.org/10.1007/978-3-319-23534-9 |
| 942 |
_2lcc _cEBK |
||
| 041 | _aeng | ||