Logic, algebra, and computation

>> Google Books

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

書誌ID:

BA13332801

ISBN:

9783540543152 [3540543155] (: Berlin)

9780387543154 [0387543155] (: New York)

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

主題:	Algebra--Congresses; Computational complexity--Congresses; Logic programming--Congresses
分類・件名:	LCC : QA76.63 DDC : 005.1 LCSH : Logic programming -- Congresses LCSH : Algebra -- Congresses LCSH : Computational complexity -- Congresses
LCCN:	91026502
注記:	"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
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Logic and algebra of specification Bauer, Friedrich Ludwig, 1924-, Brauer, Wilfried, 1937-, Schwichtenberg, Helmut, 1942-, NATO Advanced Study Institute on … Springer-Verlag	7 図書 Combinatorial and computational algebra : International Conference on Combinatorial and Computational Algebra, May 24-29, 1999, The University of Hong Kong, … International Conference on Combinatorial and Computational Algebra, Chan, Kai-Yuen American Mathematical Society
2 図書 Advanced Course on Software Engineering Bauer, Friedrich Ludwig, 1924- Springer-Verlag	8 図書 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
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 図書 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
4 図書 Compiler construction : an advanced course Bauer, Friedrich Ludwig, 1924-, Eickel, J., 1935- Springer-Verlag	10 図書 Spatio-temporal patterns in nonequilibrium complex systems : NATO advanced research workshop Cladis, P. E., Palffy-Muhoray, P., NATO Advanced Research Workshop on Spatio-Temporal Patterns in Nonequilibrium Complex … Addison-Wesley
5 図書 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 NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design, Broy, M., 1949-, North Atlantic … Springer-Verlag	11 図書 Amitsur Centennial Symposium : Amitsur Centennial Symposium, November 1-4, 2021, virtual and the Israel Institute for Advanced Studies (IIAS), the Hebrew … Amitsur Centennial Symposium, Mann, Avinoam, 1937-, Rowen, Louis Halle, Saltman, D. J. (David J.), 1951-, Shalev, Aner, … American Mathematical Society, Bar-Ilan University
6 図書 Quantum fields : algebras, processes Bielefeld Encounters in Mathematics and Physics, Streit, Ludwig, 1938-, Universität Bielefeld. Zentrum für … Springer-Verlag	12 図書 Logic and computational complexity : International Workshop LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers International Workshop LCC, Leivant, Daniel Maurice Raphaël Springer-Verlag