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

Descriptional complexity of formal systems 13th international workshop, DCFS 2011, Giessen/Limburg, Germany, July 25-27, 2011 : proceedings /