Title: Frontiers of combining systems
First published: 2005
Subjects: Computer science, Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: MLCM 2006/40849 (Q)