>> Amazon.co.jp
このページのQRコード

Conditional Term Rewriting Systems : Third International Workshop, CTRS-92 Point-à-Mousson, France, July 8–10 1992 Proceedings

種類:
電子ブック
責任表示:
edited by Michaël Rusinowitch, Jean-Luc Rémy
出版情報:
Berlin, Heidelberg : Springer-Verlag, 1993
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 656
ISBN:
9783540475491 [3540475494]  CiNii Books  Calil
ローカル注記:
学内専用E-BOOKS (local access only)
オンライン
http://dx.doi.org/10.1007/3-540-56393-8
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

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 and Typed Rewriting Systems : 2nd International CTRS Workshop Montreal, Canada, June 11–14, 1990 Proceedings

Kaplan, S., Okada, M., SpringerLink (Online service)

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

International Workshop on Conditional (and Typed) Rewriting Systems, Rusinowitch, M. (Michael), Remy, J. L.

Springer-Verlag
8 電子ブック Logics in AI : European Workshop JELIA'92 Berlin, Germany, September 7–10, 1992 Proceedings

Pearce, D., Wagner, G., SpringerLink (Online service)

Springer-Verlag
3 電子ブック 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
9 電子ブック Constructivity in Computer Science : Summer Symposium San Antonio, TX, June 19–22, 1991 Proceeding

Myers, J. Paul, O'Donnell, Michael J., SpringerLink (Online service)

Springer-Verlag
4 電子ブック Conditional Term Rewriting Systems : 1st International Workshop Orsay, France, July 8–10, 1987 Proceedings

Kaplan, S., Jouannaud, J. -P, SpringerLink (Online service)

Springer-Verlag
10 電子ブック Executable Modal and Temporal Logics : IJCAI '93 Workshop Chambery, France, August 28, 1993 Proceedings

Fisher, Michael, Owens, Richard, SpringerLink (Online service)

Springer-Verlag
5 電子ブック Meta-Programming in Logic : Third International Workshop, META-92 Uppsala, Sweden, June 10–12, 1992 Proceedings

Pettorossi, A., SpringerLink (Online service)

Springer-Verlag
11 電子ブック Logic at Botik '89 : Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings

Meyer, Albert R., Taitslin, Michael A., SpringerLink (Online service)

Springer-Verlag
6 電子ブック Types for Proofs and Programs : International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers

Dybjer, Peter, Nordström, Bengt, Smith, Jan, SpringerLink (Online service)

Springer-Verlag
12 電子ブック Word Equations and Related Topics : Second International Workshop, IWWERT '91 Rouen, France, October 7–9, 1991 Proceedings

Abdulrab, Habib, Pécuchet, Jean-Pierre, SpringerLink (Online service)

Springer-Verlag