Handbook of practical logic and automated reasoning

Saved in:
Bibliographic Details
Main Author: Harrison, J. (John) 1966-
Format: Book
Language:English
Published: Cambridge ; New York : Cambridge University Press, 2011, c2009
Edition:1st ed., Repr.
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!