close
1.

図書
図書
1. Rewriting techniques and applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings
Robert Nieuwenhuis (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 514 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2706
所蔵情報: loading…
2.

図書
図書
2. Rewriting techniques and applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004 : proceedings
Vincent van Oostrom (ed.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 311 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3091
所蔵情報: loading…
3.

図書
図書
3. Computers and intractability : a guide to the theory of NP-completeness (: pbk)
Michael R. Garey, David S. Johnson
出版情報: San Francisco ; New York : W. H. Freeman, c1979  x, 338 p. ; 24 cm
シリーズ名: A series of books in the mathematical sciences
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼