>> Google Books

Conditional and Typed Rewriting Systems / International CTRS Workshop, Stéphane Kaplan, Mitsuhiro Okada

資料種別:
電子ブック
出版情報:
SpringerLink Books Lecture Notes In Computer Science Archive
Springer Berlin Heidelberg, 1991
著者名:
ISBN:
9783540543176 [3540543171]
9783540475583 [3540475583]
書誌ID:
OB00286925
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

Springer-Verlag

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

Kaplan, Stéphane, 1961-, Jouannaud, Jean-Pierre

Springer-Verlag

International Workshop CTRS, Remy, J. L., Rusinowitch, Michael

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

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

Springer-Verlag

Kaplan, Morton A.

John Wiley

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

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

10 電子ブック Formal to Practical Security

Cortier, Véronique, Kanade, Takeo, Kirchner, Claude, Okada, Mitsuhiro, Sakurada, Hideki

Springer eBooks Computer Science, Springer Berlin Heidelberg

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

Springer-Verlag

Gilles Dowek

Springer eBooks Computer Science, Springer International Publishing

Ducasse, Stéphane, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM

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