Logical methods in honor of Anil Nerode's sixtieth birthday

Logical methods in honor of Anil Nerode's sixtieth birthday

Saved in:
Bibliographic Details
Other Authors: Nerode, Anil 1932-, Crossley, John N
Format: Book
Published: Boston Birkhauser 1993
Series:Progress in computer science and applied logic v. 12
Subjects:
Nerode > 1932- > Anil
Logic, Symbolic and mathematical
Logic programming
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:813 p. ill. 24 cm
Bibliography:Includes bibliographical references
ISBN:3764336900

Similar Items