>> Google Books

Higher-Order Algebra, Logic, and Term Rewriting / J. Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow

資料種別:
電子ブック
出版情報:
SpringerLink Books Lecture Notes In Computer Science Archive
Springer Berlin Heidelberg, 1994
著者名:
ISBN:
9783540485797 [3540485791]
9783540582335 [3540582339]
書誌ID:
OB00287156
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Dowek, Gilles, Heering, J., Meinke, Karl, Möller, Bernhard

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

International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Dowek, Gilles

Springer

International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Heering, J

Springer-Verlag

Lambek, Joachim, Scott, P. J.

Cambridge University Press

3 電子ブック Term rewriting and all that /

Baader, Franz, Nipkow, Tobias

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

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

Nipkow, Tobias, Paulson, Lawrence C., Wenzel, Markus

Springer

Joyce, Jeffrey J., Seger, Carl-Johan H.

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

Berghofer, Stefan, Kanade, Takeo, Nipkow, Tobias, Urban, Christian, Wenzel, Makarius

Springer eBooks Computer Science, Springer Berlin Heidelberg

Alves-Foss, James, Schubert, E. Thomas, Windley, Phillip J.

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

Hanus, Michael, Heering, J, Meinke, K. (Karl), International Conference on Algebraic and Logic Programming, …

Springer-Verlag

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

Springer

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