>> Google Books

Term rewriting and all that / / Franz Baader and Tobias Nipkow

資料種別:
電子ブック
形態:
1 online resource (xii, 301 pages)
著者名:
ISBN:
9781139172752 [1139172751] ((ebook))
9780521455206 [0521455200]
書誌ID:
EB00000363
フルテキスト
Loading contents information

類似資料:

Baader, Franz, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

International Conference on Rewriting Techniques and Applications, Nieuwenhuis, Robert

Springer

Terese

Cambridge University Press

Nipkow, Tobias, 1958-, International Conference on Rewriting Techniques and Applications

Springer

Heering, J., Meinke, Karl, Möller, Bernhard, Nipkow, Tobias

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

Baader, Franz

Cambridge University Press

Jantzen, Matthias, 1948-

Springer-Verlag

10 電子ブック 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

Dörr, Heiko, 1962-

Springer-Verlag

11 電子ブック Types for Proofs and Programs

Barendregt, Hendrik Pieter, Nipkow, Tobias

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

International Conference on Rewriting Techniques and Applications, Oostrom, Vincent van

Springer

Ohlebusch, Enno

Springer

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