Higher-Order Algebra, Logic, and Term Rewriting

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

子書誌情報

フルテキスト

所蔵情報

書誌詳細

言語:

英語

東工大ブックレビュー

類似資料:

1 電子ブック Higher-Order Algebra, Logic, and Term Rewriting Heering, J., Meinke, Karl, Möller, Bernhard, Nipkow, Tobias SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg	7 電子ブック Conditional Term Rewriting Systems International Workshop CTRS, Remy, J. L., Rusinowitch, Michael SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg
2 図書 Higher-order algebra, logic, and term rewriting : second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Dowek, Gilles Springer	8 電子ブック Higher Order Logic Theorem Proving and Its Applications Joyce, Jeffrey J., Seger, Carl-Johan H. SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg
3 図書 Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Heering, J Springer-Verlag	9 電子ブック Higher Order Logic Theorem Proving and Its Applications Alves-Foss, James, Schubert, E. Thomas, Windley, Phillip J. SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg
4 図書 Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings Hanus, Michael, Heering, J, Meinke, K. (Karl), International Conference on Algebraic and Logic Programming, … Springer-Verlag	10 電子ブック Principles of Programming Languages Dowek, Gilles Springer eBooks Computer Science, Springer London
5 電子ブック Rewriting and Typed Lambda Calculi Gilles Dowek Springer eBooks Computer Science, Springer International Publishing	11 電子ブック Proofs and Algorithms Dowek, Gilles Springer eBooks Computer Science, Springer London
6 図書 Introduction to higher order categorical logic 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