Handbook of practical logic and automated reasoning /

Handbook of practical logic and automated reasoning /

57

Bibliographic Details
Main Author: 405883 Harrison, J. (John), 1966-
Format:
Language:eng
Published: Cambridge : Cambridge University Press, 2009
Subjects:
Computer logic

Similar Items