close
1.

電子ブック
ＥＢ
1. Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
edited by Franz Baader, Andrei Voronkov
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3452
オンライン: http://dx.doi.org/10.1007/b106931
所蔵情報: loading…
2.

図書
図書
2. Term rewriting and all that
Franz Baader and Tobias Nipkow
出版情報: Cambridge : Cambridge University Press, 1998
所蔵情報: loading…