>> Google Books
所蔵情報QRコード

Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings / S. Kaplan, J.-P. Jouannaud (eds.)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1988
形態:
vi, 278 p. ; 25 cm
シリーズ名:
Lecture notes in computer science ; 308 <BA00009279>
著者名:
ISBN:
9783540192428 [3540192425] (: gw)
9780387192420 [0387192425] (: us)
書誌ID:
BA03953802
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

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

Springer-Verlag

7 電子ブック Term Rewriting

French Spring School of Theoretical Computer Science, Comon, Hubert, Jouannaud, Jean-Pierre

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

International Workshop on Conditional (and Typed) Rewriting Systems, Kaplan, Stéphane, 1961-, Okada, M. (Mitsuhiro), …

Springer-Verlag

International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Dowek, Gilles

Springer

French Spring School of Theoretical Computer Science, Comon, Hubert, Jouannaud, Jean-Pierre

Springer Verlag

International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Heering, J

Springer-Verlag

International Workshop on Conditional (and Typed) Rewriting Systems, Dershowitz, Nachum, 1951-, Lindenstrauss, Naomi

Springer-Verlag

International Conference on Rewriting Techniques and Applications, Tison, Sophie

Springer

International Conference on Rewriting Techniques and Applications, Bachmair, Leo

Springer

International Conference on Rewriting Techniques and Applications, Comon, Hubert

Springer

International CTRS Workshop, Kaplan, Stéphane, Okada, Mitsuhiro

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

International Conference on Rewriting Techniques and Applications, Book, Ronald V.

Springer-Verlag

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12