Handbook of practical logic and automated reasoning John Harrison.

Bibliographic Details
Main Author: Harrison, J. 1966-
Corporate Author: NetLibrary, Inc.
Format: Book
Language:English
Published: Cambridge ; New York : Cambridge University Press, 2009.
Subjects:
Online Access:CONNECT