Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992 : proceedings

>> Amazon.co.jp

このページのQRコード

Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992 : proceedings

種類:

図書

責任表示:

M. Rusinowitch, J.L. Rémy (eds.)

出版情報:

Berlin ; New York ; Tokyo : Springer-Verlag, c1993

著者名:

シリーズ名:

Lecture notes in computer science ; 656 <BA00009279>

ISBN:

9783540563938 [3540563938] (: gw)

9780387563930 [0387563938] (: us)

注記:

Includes bibliographical references

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Rewriting systems (Computer science)--Congresses
分類・件名:	LCC : QA267 DDC : 005.13/1 NDC8 : 007.63 LCSH : Rewriting systems (Computer science) -- Congresses
LCCN:	92044413
TTLL:	eng
言語:	英語
形態:	xi, 501 p. : ill. ; 24 cm
書誌ID:	BA19433368

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Conditional Term Rewriting Systems : Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings Rusinowitch, Michael., Remy, Jean-Luc., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	7 電子ブック Conditional Term Rewriting Systems : 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings Kaplan, Stephane., Jouannaud, Jean-Pierre., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
2 電子ブック Conditional Term Rewriting Systems : Third International Workshop, CTRS-92 Point-à-Mousson, France, July 8–10 1992 Proceedings Rusinowitch, Michaël, Rémy, Jean-Luc, SpringerLink (Online service) Springer-Verlag	8 電子ブック Conditional and Typed Rewriting Systems : 2nd International CTRS Workshop Montreal, Canada, June 11–14, 1990 Proceedings Kaplan, S., Okada, M., SpringerLink (Online service) Springer-Verlag
3 図書 Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings Kaplan, Stéphane, 1961-, Jouannaud, Jean-Pierre Springer-Verlag	9 電子ブック Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings Dershowitz, Nachum, Lindenstrauss, Naomi, SpringerLink (Online service) Springer-Verlag
4 図書 Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings International Conditional and Typed Rewriting Systems Workshop, Kaplan, Stéphane, 1961-, Okada, M. (Mitsuhiro), 1954- Springer-Verlag	10 電子ブック Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings Dershowitz, Nachum., Lindenstrauss, Naomi., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
5 図書 Conditional and typed rewriting systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings International Workshop on Conditional (and Typed) Rewriting Systems, Dershowitz, Nachum, 1951-, Lindenstrauss, Naomi Springer-Verlag	11 図書 Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Heering, J Springer-Verlag
6 電子ブック Conditional Term Rewriting Systems : 1st International Workshop Orsay, France, July 8–10, 1987 Proceedings Kaplan, S., Jouannaud, J. -P, SpringerLink (Online service) Springer-Verlag	12 電子ブック Conditional and Typed Rewriting Systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings Kaplan, Stephane., Okada, Mitsuhiro., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer