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!

Internet