close
1.

図書
図書
1. コンピュータ英語ハンドブック
三島浩著
出版情報: 東京 : 共立出版, 1986.6  6, 241p ; 21cm
所蔵情報: loading…
2.

図書
図書
2. Future parallel computers : an advanced course, Pisa, Italy, June 9-20, 1986 : proceedings (: gw ; : us)
P. Treleaven, M. Vanneschi (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  iv, 492 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 272
所蔵情報: loading…
3.

図書
図書
3. The fifth generation challenge : proceedings of the 1984 Annual Conference of the Association for Computing Machinery, 1984 October 8-10, San Francisco, California
edited by Richard L. Muller and James J. Pottmyer
出版情報: New York : ACM, c1984  xx, 336 p. ; 28 cm
所蔵情報: loading…
4.

図書
図書
4. Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings (: gw ; : us)
edited by Pierre Lescanne
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  vi, 285 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 256
所蔵情報: loading…
5.

図書
図書
5. Intelligent systems : the unprecedented opportunity (: E. Horwood ; : Halsted Press)
edited by J.E. Hayes, Donald Michie
出版情報: Chichester, West Sussex : E. Horwood , New York : Halsted Press, 1983  xvii, 206 p. ; 24 cm
シリーズ名: Ellis Horwood series in artificial intelligence
所蔵情報: loading…
6.

図書
図書
6. Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings (: gw ; : us)
edited by Austin Melton
出版情報: Berlin ; New York : Springer-Verlag, c1986  vi, 395 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 239
所蔵情報: loading…
7.

図書
図書
7. Fifth generation computer systems : proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, October 19-22, 1981
edited by T. Moto-oka
出版情報: Amsterdam ; New York : North-Holland Pub. Co. , New York, N.Y. : Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982  viii, 286 p. ; 27 cm
所蔵情報: loading…
8.

図書
図書
8. STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987, proceedings (: gw ; : us)
edited by F.J. Brandenburg, G. Vidal-Naquet and M. Wirsing
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  x, 483 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 247
所蔵情報: loading…
9.

図書
図書
9. STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986 (: gw ; : us)
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…
10.

図書
図書
10. The wide spectrum language CIP-L (: gw ; : us)
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…
11.

図書
図書
11. STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985 (: gw ; : us)
edited by K. Mehlhorn
出版情報: Berlin ; Tokyo : Springer-Verlag, 1985  vii, 374 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 182
所蔵情報: loading…
12.

図書
図書
12. Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984 : proceedings (: gw ; : us)
edited by Mathai Joseph and Rudrapatna Shyamasundar
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  viii, 468 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 181
所蔵情報: loading…
13.

図書
図書
13. Rewriting techniques and applications : Dijon, France, May 20-22, 1985 (: gw ; : us)
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
14.

図書
図書
14. Advances in cryptology : proceedings of EUROCRYPT 84, a Workshop on the Theory and Application of Cryptographic Techniques, Paris, France, April 9-11, 1984 (: gw ; : us)
edited by T. Beth, N. Cot, and I. Ingemarsson
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1985  vii, 489 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 209
所蔵情報: loading…
15.

図書
図書
15. The fifth generation : an annotated bibliography
Max & Dawn Bramer
出版情報: Wokingham, Berkshire ; Reading, Mass. : Addison-Wesley, c1984  x, 119 p. ; 24 cm
所蔵情報: loading…
16.

図書
図書
16. Japan display '86 : Proceedings of the 6th International Display Research Conference, September 30-October 2, 1986, Keidanren Kaikan, Otemachi, Chiyoda-ku, Tokyo
sponsored by The Society for Information Display, The Institute of Television Engineers of Japan
出版情報: California : Society for Information Display, c1986  xv, 588 p. ; 30 cm
所蔵情報: loading…
17.

図書
図書
17. Japan display '83 : proceedings of the 3rd International Display Research Conference, October 3-5, 1983, International Conference Center Kobe, Port Island, Kobe
sponsored by the Society for Information Display, the Institute of Television Engineers of Japan
出版情報: California : Society for Information Display, c1983  xiv, 658 p. ; 30 cm
所蔵情報: loading…
18.

図書
図書
18. Japan display '89 : Proceedings of the 9th International Display Research Conference, October 16-18, 1989, Kyoto Park Hotel, East-side, Kyoto
sponsored by: Society for Information Display, The Institute of Television Engineers of Japan
出版情報: Playa Del Rey, Calif. : Society for Information Display, c1989  xix, 716 p. ; 30 cm
所蔵情報: loading…
19.

図書
図書
19. LUCAS associative array processor : design, programming, and application studies (: gw ; : us)
Christer Fernstrom, Ivan Kruzela, Bertil Svensson
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  xii, 323 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 216
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼