Logic, algebra, and computation

>> Google Books

所蔵情報QRコード

Logic, algebra, and computation / edited by Friedrich L. Bauer

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1991

形態:

485 p. ; 25 cm

シリーズ名:

NATO ASI series ; ser. F . Computer and system sciences ; v. 79 <BA00020624>

著者名:

ISBN:

9783540543152 [3540543155] (: Berlin)
9780387543154 [0387543155] (: New York)

書誌ID:

BA13332801

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	"International summer school directed by F.L. Bauer ... [et al.]" "Published in cooperation with NATO Scientific Affairs Division." "Proceedings of the NATO Advanced Study Institute on Logic, Algebra, and Computation held at Marktoberdorf, Federal Republic of Germany, July 25-August 6, 1989"--T.p. verso
主題:	Algebra--Congresses; Computational complexity--Congresses; Logic programming--Congresses
言語:	英語; フランス語

東工大ブックレビュー

類似資料:

1 図書 Logic and algebra of specification (: us ; : gw) Bauer, Friedrich Ludwig, 1924-, Brauer, Wilfried, 1937-, Schwichtenberg, Helmut, 1942-, NATO Advanced Study Institute on … Springer-Verlag	7 図書 Compiler construction : an advanced course (: us ; : gw) Bauer, Friedrich Ludwig, 1924-, Eickel, J., 1935- Springer-Verlag
2 図書 Software engineering : an advanced course (: us ; : gw) Bauer, Friedrich Ludwig, 1924- Springer-Verlag	8 図書 Quantum fields : algebras, processes (: us ; : au) Bielefeld Encounters in Mathematics and Physics, Streit, Ludwig, 1938-, Universität Bielefeld. Zentrum für … Springer-Verlag
3 図書 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	9 図書 Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (: Germany ; : U.S.) NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design, Broy, M., 1949-, North Atlantic … Springer-Verlag
4 図書 Foundations of computation (: IOS Press ; : Ohmsha) Bauer, Friedrich Ludwig, 1924-, Steinbrüggen, Ralf IOS Press	10 図書 Linear algebra (: gw ; : us) Wilkinson, James Hardy, 1919-1986, Reinsch, C., Bauer, Friedrich Ludwig, 1924- Springer-Verlag
5 図書 Proof and computation Schwichtenberg, Helmut, 1942-, NATO Advanced Study Institute on Proof and Computation Springer-Verlag	11 図書 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
6 図書 Compiler construction : an advanced course (: gw ; : us) Bauer, Friedrich Ludwig, 1924-, Eickel, J., 1935- Springer-Verlag	12 図書 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

1

2

3

4

5

6

7

8

9

10

11

12