Logical methods : in honor of Anil Nerode's sixtieth birthday

Title
  1. Logical methods : in honor of Anil Nerode's sixtieth birthday / John N. Crossley ... [et al.], editors.
Published by
  1. Boston : Birkhäuser, 1993.

Items in the library and off-site

Filter by

Displaying 1 item

StatusVol/dateFormatAccessCall numberItem location
Status

Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.

Vol/date---FormatTextAccessUse in libraryCall numberJFE 94-8342 ---Item locationSchwarzman Building - Main Reading Room 315

Details

Additional authors
  1. Nerode, Anil, 1932-
  2. Crossley, John N.
Description
  1. 813 p. : ill.; 24 cm.
Series statement
  1. Progress in computer science and applied logic ; v. 12
Subject
  1. Logic programming > Congresses
  2. Nerode, Anil, 1932-
  3. Logic, Symbolic and mathematical > Congresses
Call number
  1. JFE 94-8342
Note
  1. Includes papers presented at a conference held at the Mathematical Sciences Institute, Cornell University, June 1-3, 1992.
Bibliography (note)
  1. Includes bibliographical references.
Title
  1. Logical methods : in honor of Anil Nerode's sixtieth birthday / John N. Crossley ... [et al.], editors.
Imprint
  1. Boston : Birkhäuser, 1993.
Series
  1. Progress in computer science and applied logic ; v. 12
Bibliography
  1. Includes bibliographical references.
Added author
  1. Nerode, Anil, 1932-
  2. Crossley, John N.
LCCN
  1. 93021451
ISBN
  1. 0817636900
Research call number
  1. JFE 94-8342
View in legacy catalog