Library of Academia Sinica


  預約確認

申請中 Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings / Bernhard Beckert (ed.)

申請中 Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings / Bernhard Beckert (ed.)
請輸入以下訊息:
例如, 輸入"Jane Smith", 然後按 RETURN 鍵.
例如, 輸入 "A123456789", 然後按 RETURN 鍵.

重新查詢


本網站最佳瀏覽解析度為1024*768,建議使用IE7.0、FireFox2.0、Safari3.1.1、Opera9.27以上版本瀏覽器