4
0
0
0
0
Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings / [electronic resource] :
- 作者： TABLEAUX 2003 (2003 : Rome, Italy)
- 其他作者：
- 其他題名：
- Lecture notes in computer science
- Lecture notes in computer science.
- 出版： Berlin ;New York : Springer
- 叢書名： Lecture notes in computer science,Lecture notes in artificial intelligence2796.
- 主題： Automatic theorem proving--Congresses
- ISBN： 9783540407874 (paper)
-
FIND@SFXID:
CGU
- 資料類型: 電子書
-
讀者標籤：
- 系統號： 005041553 | 機讀編目格式
館藏資訊
