Term rewriting and all that

>> Google Books

タイトル、所在を表示します

Term rewriting and all that. 1st paperback ed.

フォーマット:

図書

責任表示:

Franz Baader and Tobias Nipkow

言語:

英語

出版情報:

Cambridge : Cambridge University Press, 1999

形態:

xii, 301 p. ; 25 cm

著者名:

書誌ID:

BA44679880

ISBN:

9780521779203 [0521779200]

子書誌情報

所蔵情報

タイトルが類似している資料

1. Term rewriting and all that
Franz Baader and Tobias Nipkow , Cambridge University Press , 1998

詳細

資料形態(詳細):	Text
主題:	Rewriting systems (Computer science)
LCCN:	97028286
注記:	Includes bibliographical references and index
登録日:	2008-03-05
分類・件名:	LCC : QA267 DDC : 005.13/1 LCSH : Rewriting systems (Computer science)

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Term rewriting and all that Baader, Franz, Nipkow, Tobias, 1958- Cambridge University Press	7 図書 Efficient graph rewriting and its implementation Dörr, Heiko, 1962- Springer-Verlag
2 図書 Term rewriting systems Terese Cambridge University Press	8 図書 Reflection in rewriting logic : metalogical foundations and metaprogramming applications Clavel, Manuel, 1969- CSLI Publications
3 図書 Term graph rewriting : theory and practice Sleep, M. R., Plasmeijer, M. J., Eekelen, M. C. van Wiley	9 図書 Rewriting techniques and applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17 2008 : proceedings Voronkov, Andrei Springer
4 図書 Term rewriting and applications : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings International Conference on Rewriting Techniques and Applications, Baader, Franz Springer	10 図書 Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings IJCAR, Goré, Rajeev, Leitsch, Alexander, 1952-, Nipkow, Tobias, 1958- Springer
5 図書 String-rewriting systems Book, Ronald V., Otto, Friedrich Springer-Verlag	11 図書 FM 2006 : Formal Methods : 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 : proceedings FM, Misra, Jayadev, Nipkow, Tobias, 1958-, Sekerinski, E. (Emil), 1963- Springer
6 図書 Confluent string rewriting Jantzen, Matthias, 1948- Springer-Verlag	12 図書 The description logic handbook : theory, implementation, and applications Baader, Franz Cambridge University Press