1 work Add another?
Showing all works by author. Would you like to see only ebooks?
Subjects
Computer programs, Congresses, Correctness, Electronic digital computers, Logic, Symbolic and mathematical, Programming, Symbolic and mathematical LogicID Numbers
- OLID: OL6406252A
Links outside Open Library
No links yet. Add one?
November 7, 2008 | Created by ImportBot | Imported from Binghamton University MARC record |