Coverart for item
The Resource Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday, Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.), (electronic resource)

Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday, Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.), (electronic resource)

Label
Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
Title
Fields of logic and computation
Title remainder
essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
Statement of responsibility
Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)
Contributor
Subject
Language
eng
Summary
Annotation:
Cataloging source
OHX
Dewey number
004.0151
LC call number
QA76.9.M35
LC item number
F54 2010
http://library.link/vocab/relatedWorkOrContributorDate
  • 1947-
  • 1950-
http://library.link/vocab/relatedWorkOrContributorName
  • Gurevich, Yuri
  • Blass, Andreas
  • Dershowitz, Nachum
  • Reisig, Wolfgang
Series statement
  • Lecture notes in computer science
  • Festschrift
Series volume
6300
http://library.link/vocab/subjectName
  • Computer science
  • Information theory
  • Formal methods (Computer science)
  • Logic, Symbolic and mathematical
  • Theoretische Informatik
  • Mathematische Logik
  • Berechenbarkeit
  • Komplexitätstheorie
  • Automatentheorie
  • Softwarespezifikation
  • Programmverifikation
  • Abstrakte Zustandsmaschine
  • Formale Methode
Summary expansion
This Festschrift volume, published in honor of Yuri Gurevich on the occasion of his 70th birthday, contains contributions, written by his colleagues. The collection of articles herein begins with an academic biography, an annotated list of Yuri's publications and reports, and a personal tribute by Jan Van den Bussche. These are followed by 28 technical contributions. These articles - though they cover a broad range of topics - represent only a fraction of Yuri Gurevich’s multiple areas of interest
Label
Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday, Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references
Control code
OCM1bookssj0000446465
Dimensions
unknown
Isbn
9783642150241
Isbn Type
(pbk. : alk. paper)
Lccn
2010931832
Specific material designation
remote
System control number
(WaSeSS)bookssj0000446465
Label
Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday, Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references
Control code
OCM1bookssj0000446465
Dimensions
unknown
Isbn
9783642150241
Isbn Type
(pbk. : alk. paper)
Lccn
2010931832
Specific material designation
remote
System control number
(WaSeSS)bookssj0000446465

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...