Logic for applications / Anil Nerode, Richard A. Shore.
Saved in:
Main Author: | |
---|---|
Other Authors: | |
Format: | Book |
Language: | English |
Published: |
New York :
Springer,
c1997.
|
Edition: | 2nd ed. |
Series: | Graduate texts in computer science
|
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Pilkington Library - Pilkington Main Collection
Shelfmark: |
511.3/NER |
---|---|
Copy [0403188466] | Available |