Fields of logic and computation II: essays dedicated to Yuri Gurevich on the occasion of his 75th birthday

Detalles Bibliográficos
Autores principales: Beklemishev, Lev D, Blass, Andreas, Dershowitz, Nachum, Finkbeiner, Bernd, Schulte, Wolfram
Lenguaje:eng
Publicado: Springer International Publishing AG 2015
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761722
_version_ 1780970588650602496
author Beklemishev, Lev D
Blass, Andreas
Dershowitz, Nachum
Finkbeiner, Bernd
Schulte, Wolfram
author_facet Beklemishev, Lev D
Blass, Andreas
Dershowitz, Nachum
Finkbeiner, Bernd
Schulte, Wolfram
author_sort Beklemishev, Lev D
collection CERN
id cern-2761722
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2015
publisher Springer International Publishing AG
record_format invenio
spelling cern-27617222021-04-21T16:39:26Zhttp://cds.cern.ch/record/2761722engBeklemishev, Lev DBlass, AndreasDershowitz, NachumFinkbeiner, BerndSchulte, WolframFields of logic and computation II: essays dedicated to Yuri Gurevich on the occasion of his 75th birthdayXXSpringer International Publishing AGoai:cds.cern.ch:27617222015
spellingShingle XX
Beklemishev, Lev D
Blass, Andreas
Dershowitz, Nachum
Finkbeiner, Bernd
Schulte, Wolfram
Fields of logic and computation II: essays dedicated to Yuri Gurevich on the occasion of his 75th birthday
title Fields of logic and computation II: essays dedicated to Yuri Gurevich on the occasion of his 75th birthday
title_full Fields of logic and computation II: essays dedicated to Yuri Gurevich on the occasion of his 75th birthday
title_fullStr Fields of logic and computation II: essays dedicated to Yuri Gurevich on the occasion of his 75th birthday
title_full_unstemmed Fields of logic and computation II: essays dedicated to Yuri Gurevich on the occasion of his 75th birthday
title_short Fields of logic and computation II: essays dedicated to Yuri Gurevich on the occasion of his 75th birthday
title_sort fields of logic and computation ii: essays dedicated to yuri gurevich on the occasion of his 75th birthday
topic XX
url http://cds.cern.ch/record/2761722
work_keys_str_mv AT beklemishevlevd fieldsoflogicandcomputationiiessaysdedicatedtoyurigurevichontheoccasionofhis75thbirthday
AT blassandreas fieldsoflogicandcomputationiiessaysdedicatedtoyurigurevichontheoccasionofhis75thbirthday
AT dershowitznachum fieldsoflogicandcomputationiiessaysdedicatedtoyurigurevichontheoccasionofhis75thbirthday
AT finkbeinerbernd fieldsoflogicandcomputationiiessaysdedicatedtoyurigurevichontheoccasionofhis75thbirthday
AT schultewolfram fieldsoflogicandcomputationiiessaysdedicatedtoyurigurevichontheoccasionofhis75thbirthday

Ejemplares similares