Title: Constraints in computational logics
First published: 1994
Subjects: Congresses, Electronic digital computers, Logic, Symbolic and mathematical, Programming, Symbolic and mathematical Logic, Computer programming
LC classification: QA74.6