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

Conditional and Typed Rewriting Systems : 2nd International CTRS Workshop Montreal, Canada, June 11–14, 1990 Proceedings

種類:
電子ブック
責任表示:
edited by S. Kaplan, M. Okada
出版情報:
Berlin, Heidelberg : Springer-Verlag, 1991
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 516
ISBN:
9783540475583 [3540475583]  CiNii Books  Calil
ローカル注記:
学内専用E-BOOKS (local access only)
オンライン
http://dx.doi.org/10.1007/3-540-54317-1
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック 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
7 電子ブック CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

Börger, Egon, Büning, Hans Kleine, Richter, Michael M., SpringerLink (Online service)

Springer-Verlag
2 図書 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
8 電子ブック Temporal Logic : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings

Gabbay, Dov M., Ohlbach, Hans Jürgen, 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 電子ブック Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings

Thomas Schubert, E., Windley, Philip J., Alves-Foss, James, SpringerLink (Online service)

Springer-Verlag
4 電子ブック 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
10 電子ブック Higher Order Logic Theorem Proving and Its Applications : 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings

Joyce, Jeffrey J., Seger, Carl-Johan H., SpringerLink (Online service)

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

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

Springer-Verlag
11 電子ブック Intelligent Tutoring Systems : Third International Conference, ITS '96 Montréal, Canada, June 12–14, 1996 Proceedings

Frasson, Claude, Gauthier, Gilles, Lesgold, Alan, SpringerLink (Online service)

Springer-Verlag
6 電子ブック Compiler Compilers and High Speed Compilation : 2nd CCHSC Workshop Berlin, GDR, October 10–14, 1988 Proceedings

Hammer, Dieter, SpringerLink (Online service)

Springer-Verlag
12 電子ブック Types for Proofs and Programs : International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers

Berardi, Stefano, Coppo, Mario, SpringerLink (Online service)

Springer-Verlag