>> 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

類似資料:

1 図書 Conditional and typed rewriting systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings

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

Springer-Verlag
7 図書 Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings

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

Springer-Verlag
2 電子ブック Conditional and Typed Rewriting Systems

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

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg
8 図書 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
3 図書 Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings

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

Springer-Verlag
9 図書 Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday

Dershowitz, Nachum, 1951-, Manna, Zohar

Springer
4 図書 Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings

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

Springer-Verlag
10 電子ブック Logic for Programming, Artificial Intelligence, and Reasoning

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

Springer eBooks Computer Science, Springer Berlin Heidelberg
5 電子ブック Conditional Term Rewriting Systems

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
6 電子ブック Conditional Term Rewriting Systems

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