close
1.

図書

図書
P. Treleaven, M. Vanneschi (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  iv, 492 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 272
所蔵情報: loading…
2.

図書

図書
edited by Richard L. Muller and James J. Pottmyer
出版情報: New York : ACM, c1984  xx, 336 p. ; 28 cm
所蔵情報: loading…
3.

図書

図書
Kris Jamsa
出版情報: Las Vegas, NV : Jamsa Press, c1996  iv, 268 p. ; 27 cm
所蔵情報: loading…
4.

図書

図書
by David Pogue ; foreword by John Kander
出版情報: Foster City, CA : IDG Books Worldwide, c1996  xix, 412 p. ; 24 cm
シリーズ名: Bestselling computer book series ; 1
所蔵情報: loading…
5.

図書

図書
International Topical Meeting on Optical Computing ; 応用物理学会
出版情報: [Tokyo] : Steering Committee of 1996 International Topical Meeting on Optical Computing : The Japan Society of Applied Physics, c1996  2 v. ; 30 cm
所蔵情報: loading…
6.

図書

図書
edited by B. Monien and G. Vidal-Naquet
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  ix, 368 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 210
所蔵情報: loading…
7.

図書

図書
Bauer, Friedrich Ludwig, 1924- ; CIP Language Group
出版情報: Berlin ; New York : Springer-Verlag, c1985  xi, 275 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 183 . The Munich Project CIP / by the CIP Language Group, F.L. Bauer ... [et al.] ; v. 1
所蔵情報: loading…
8.

図書

図書
edited by K. Mehlhorn
出版情報: Berlin ; Tokyo : Springer-Verlag, 1985  vii, 374 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 182
所蔵情報: loading…
9.

図書

図書
edited by Mathai Joseph and Rudrapatna Shyamasundar
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  viii, 468 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 181
所蔵情報: loading…
10.

図書

図書
edited by Jean-Pierre Jouannaud
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  vi, 440 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 202
所蔵情報: loading…
目次情報: 続きを見る
History and Basic Features of the Critical-Pair/Completion Procedure / B. Buchberger
Thue Systems as Rewriting Systems. N. Dershowitz, Termination of Rewriting / R.V. Book
Path of Subterms Ordering and Recursive Decomposition Ordering Revisited / M. Rusinowitch
Rewrite Methods for Theorem Proving in First Order Theory with Equality / J. Hsiang
Unification in Combinations of Collapse-Free Regular Theories / K.A. Yellick
Unification Problems with One-Sided Distributivity / E. Tiden ; S. Arnborg
Complexity of Matching Problems / D. Benanav ; D. Kapur ; P. Narendran
Index
History and Basic Features of the Critical-Pair/Completion Procedure / B. Buchberger
Thue Systems as Rewriting Systems. N. Dershowitz, Termination of Rewriting / R.V. Book
Path of Subterms Ordering and Recursive Decomposition Ordering Revisited / M. Rusinowitch
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼