Normal view MARC view

Computational Logic (Topical Term)

Number of records used in: 1
Preferred form: Computational Logic

Machine generated authority record.

Work cat.: (OSt)190621: Hein, James L. 125560, Discrete structures logic and computability /, 2010