Handbook of practical logic and automated reasoning

Handbook of practical logic and automated reasoning

Bibliographic Details
Main Author: Harrison, J. 1966-
Format: Book
Language:English
Published: Cambridge Cambridge University Press 2009.
Subjects:
Computer logic.