Algebraic methods : theory, tools and applications

>> Google Books

所蔵情報QRコード

Algebraic methods : theory, tools and applications / M. Wirsing, J.A. Bergstra, eds

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1989-c1991

形態:

2 v. ; 25 cm

シリーズ名:

Lecture notes in computer science ; 394, 490 <BA00009279>

著者名:

ISBN:

9783540516989 [3540516980] ([1] : gw)
9780387516981 [0387516980] ([1] : us)
9783540539124 [3540539123] (2 : gw)
9780387539126 [0387539123] (2 : us)

書誌ID:

BA07485342

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

その他の標題:	Algebraic methods II Algebraic methods 2
注記:	[1]: Proceedings of a workshop held on June 9-11 1987 in Passau, Germany 2: Based on a workshop held in Mierlo, The Netherlands, in September 1989 2: J.A. Bergstra, L.M.G. Feijs (eds) Includes bibliographical references and indexes
主題:	Algebra--Congresses; Computer software--Development--Congresses
言語:	英語

東工大ブックレビュー

類似資料:

1 電子ブック Algebraic Methods II: Theory, Tools and Applications Bergstra, Bergstra, J. A., Feijs, Loe M. G. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 図書 Algebraic analysis, geometry, and number theory : proceedings of the JAMI Inaugural Conference JAMI Inaugural Conference, 井草, 準一(1924-), Japan-U.S. Mathematics Institute Johns Hopkins University Press
2 電子ブック Algebraic Methods: Theory, Tools and Applications Wirsing, Martin., Bergstra, Jan A., SpringerLink (Online service)	8 図書 Group theory, algebra, and number theory : colloquium in memory of Hans Zassenhaus, held in Saarbrücken, Germany, June 4-5, 1993 Zassenhaus, Hans, Zimmer, Horst Günter Walter de Gruyter
3 電子ブック Algebraic Methods: Theory, Tools and Applications Wirsing SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 図書 First Siberian Winter School "Algebra and Analysis" : proceedings of the First Siberian School, Kemerovo State University, Kemerovo, 1988 Siberian Winter School "Algebra and Analysis", Aleksandrov, A. D. (Aleksandr Danilovich), 1912-, Belegradek, O. V, … American Mathematical Society
4 図書 Recent trends in algebraic development techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected … WADT, Wirsing, Martin, Pattinson, Dirk, Hennicker, Rolf Springer	10 図書 Algebra and analysis : proceedings of the International Centennial Chebotarev Conference held in Kazan, Russia, June 5-11, 1994 International Centennial Chebotarev Conference (1994 : Kazanʹ, Russia), Arslanov, M. M. (Marat Mirzaevich), Parshin, A. … Walter de Gruyter
5 図書 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	11 図書 Third Siberian School Algebra and Analysis : proceedings of the Third Siberian School, Irkutsk State University, Irkutsk, 1989 Siberian School "Algebra and Analysis", Bokut, L. A. (Leonid A.), 1937-, Hazewinkel, Michiel, 1943-, Reshetni︠a︡k, … American Mathematical Society
6 図書 Formal specification and design Feijs, L. M. G. (Loe M. G.), Jonkers, H. B. M. Cambridge University Press	12 図書 Second Siberian Winter School Algebra and Analysis : proceedings of the Second Siberian School, Tomsk State University, Tomsk, 1989 Siberian Winter School "Algebra and Analysis", Aleksandrov, A. F. (Andreĭ Fedorovich), 1935-, Bokut, L. A. (Leonid A.), … American Mathematical Society

1

2

3

4

5

6

7

8

9

10

11

12