HyLib 整合性圖書館自動化系統
借閱次數: 0

Constraints in computational logics theory and applications : international summer school, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999, revised lectures /