Normal view
MARC view
Automatic therorem proving(Topical Term)
Machine generated authority record
Work cat.: (NU)2512: Gallier, Jean H. 3641, Logic for computer science / Jean H. Gallier.