Higher-Order Algebra, Logic, and Term Rewriting | 東京工業大学附属図書館蔵書検索

>> Google Books

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

資料種別:

電子ブック

出版情報:

SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 1996

著者名:

ISBN:

9783540612544 [3540612548]
9783540683896 [3540683895]

書誌ID:

OB00495889

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

言語:

英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Higher-Order Algebra, Logic, and Term Rewriting Heering, Heering, J., Meinke, Karl, Möller, Bernhard, Nipkow, Tobias SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 電子ブック Rewriting and Typed Lambda Calculi Gilles Dowek Springer eBooks Computer Science, Springer International Publishing
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 電子ブック Rewriting and Typed Lambda Calculi Gilles Dowek SpringerLink Books - AutoHoldings, Springer International Publishing
3 図書 Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers (: gw ; : us) International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Heering, J Springer-Verlag	9 図書 Introduction to higher order categorical logic (: pbk) Lambek, Joachim, Scott, P. J. Cambridge University Press
4 電子ブック Algebraic and Logic Programming Michael Hanus, Hanus, Michael, Heering, J., Meinke, Karl SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 電子ブック Theorem Proving in Higher Order Logics TPHOLs 2001, Boulton, Richard J., Jackson, Paul B. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック Theorem Proving in Higher Order Logics TPHOLs '99, Bertot, Yves, Dowek, Gilles, Hirschowitz, Andre, Paulin, Christine, Thery, Laurent SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Term Rewriting and Applications International Conference on Rewriting Techniques and Applications, Giesl, J?rgen, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin / Heidelberg
6 図書 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	12 電子ブック Conditional Term Rewriting Systems International Workshop CTRS, Remy, J. L., Rusinowitch, Michael SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12