>> Google Books

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

資料種別:
電子ブック
出版情報:
SpringerLink Books Lecture Notes In Computer Science Archive
Springer Berlin Heidelberg, 1996
著者名:
ISBN:
9783540612544 [3540612548]
9783540683896 [3540683895]
書誌ID:
OB00287157
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

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

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

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

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

Springer

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

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

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

Springer-Verlag

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

Dowek, Gilles

Springer eBooks Computer Science, Springer London

Gilles Dowek

Springer eBooks Computer Science, Springer International Publishing

11 電子ブック Proofs and Algorithms

Dowek, Gilles

Springer eBooks Computer Science, Springer London

Lambek, Joachim, Scott, P. J.

Cambridge University Press

12 電子ブック Computer Science Logic

Workshop on Computer Science Logic, Börger, Egon, Gurevich, Yuri, Meinke, Karl

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

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