Fields of logic and computation II [electronic resource] : essays dedicated to Yuri Gurevich on the occasion of his 75th birthday / Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.).
2015
QA76.9.L63
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Fields of logic and computation II [electronic resource] : essays dedicated to Yuri Gurevich on the occasion of his 75th birthday / Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.).
ISBN
9783319235349 electronic book
3319235346 electronic book
9783319235332
3319235346 electronic book
9783319235332
Published
Cham : Springer, 2015.
Language
English
Description
1 online resource (x, 319 pages) : illustrations.
Item Number
10.1007/978-3-319-23534-9 doi
Call Number
QA76.9.L63
Dewey Decimal Classification
005.101/5113
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed September 11, 2015).
Added Author
Gurevich, Yuri, honouree.
Beklemishev, Lev Dmitrievich, 1967- editor.
Blass, Andreas, 1947- editor.
Dershowitz, Nachum, editor.
Finkbeiner, Bernd, editor.
Schulte, Wolfram, editor.
Beklemishev, Lev Dmitrievich, 1967- editor.
Blass, Andreas, 1947- editor.
Dershowitz, Nachum, editor.
Finkbeiner, Bernd, editor.
Schulte, Wolfram, editor.
Added Meeting Name
Yurifest (Symposium) (2nd : 2015 : Berlin, Germany)
Series
Lecture notes in computer science ; 9300.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources