Title: Effective logic computation
First published: 1998
Subjects: Logic, Symbolic and mathematical, Operations research, Symbolic and mathematical Logic, System analysis
LC classification: T57.6 .T75 1998