>> Google Books

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

資料種別:
電子ブック
出版情報:
SpringerLink Books Lecture Notes In Computer Science Archive
Springer Berlin Heidelberg, 1995
著者名:
ISBN:
9783540603818 [3540603816]
9783540455134 [3540455132]
書誌ID:
OB00286926
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

Springer-Verlag

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

Springer-Verlag

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

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

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

Springer-Verlag

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

Springer-Verlag

International Conference on Rewriting Techniques and Applications, Dershowitz, Nachum, 1951-

Springer-Verlag

Dershowitz, Nachum, Siekmann, Jörg, Voronkov, Andrei

Springer eBooks Computer Science, Springer Berlin Heidelberg

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

11 電子ブック Pillars of Computer Science

Avron, Arnon, Dershowitz, Nachum, Rabinovich, Alexander, Trakhtenbrot, Boris Avraamovich

Springer eBooks Computer Science, Springer Berlin Heidelberg

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

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

12 電子ブック Fields of Logic and Computation

Blass, Andreas, Dershowitz, Nachum, Kanade, Takeo, Reisig, Wolfgang

Springer eBooks Computer Science, Springer Berlin Heidelberg

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