Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers

>> Google Books

所蔵情報QRコード

Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers / Jan Heering ... [et al.] (eds.)

資料種別:

図書

出版情報:

Berlin ; New York : Springer-Verlag, c1994

形態:

344 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 816 <BA00009279>

著者名:

ISBN:

9783540582335 [3540582339] (: gw)
9780387582337 [0387582339] (: us)

書誌ID:

BA23202482

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Includes bibliographical references
主題:	Algebra--Congresses; Logic, Symbolic and mathematical--Congresses; Rewriting systems (Computer science)--Congresses
言語:	英語

東工大ブックレビュー

類似資料:

1 図書 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	7 図書 Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992 : proceedings (: gw ; : us) International Workshop on Conditional (and Typed) Rewriting Systems, Rusinowitch, M. (Michael), Remy, J. L. Springer-Verlag
2 電子ブック Higher-Order Algebra, Logic, and Term Rewriting Heering, Heering, J., Meinke, Karl, Möller, Bernhard, Nipkow, Tobias SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 図書 Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and … IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Claesen, Luc J. M., … North-Holland
3 電子ブック Higher-Order Algebra, Logic, and Term Rewriting Dowek, Dowek, Gilles, Heering, J., Meinke, Karl, Möller, Bernhard SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 図書 Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Australia, September 27- October 1, 1998 : proceedings International Conference on Theorem Proving in Higher Order Logics, Grundy, J. (Jim), 1968-, Newey, Malcolm Charles Springer
4 図書 Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers (: gw ; : us) Workshop on Computer Science Logic, Börger, Egon, 1946-, Gurevich, Yuri, Meinke, K. (Karl) Springer-Verlag	10 図書 Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings (: gw ; : us) Kaplan, Stéphane, 1961-, Jouannaud, Jean-Pierre Springer-Verlag
5 図書 Computer science logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers Workshop on Computer Science Logic, Dalen, D. van (Dirk), 1932-, Bezem, M. (Marc), 1956-, European Association for … Springer	11 図書 Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal Canada, June 16-18 1993 : proceedings (: gw ; : us) International Conference on Rewriting Techniques and Applications, Kirchner, Claude Springer-Verlag
6 図書 Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings (: gw ; : us) JELIA, Eijck, J. van (Jan) Springer-Verlag	12 図書 Applications of graph transformations with industrial relevance : second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October … AGTIVE, Pfaltz, John L., Nagl, Manfred, Böhlen, Boris Springer

1

2

3

4

5

6

7

8

9

10

11

12