Logic, algebra, and computation

>> Amazon.co.jp

このページのQRコード

Logic, algebra, and computation

種類:

図書

責任表示:

edited by Friedrich L. Bauer

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1991

著者名:

シリーズ名:

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

ISBN:

9783540543152 [3540543155] (: Berlin)

9780387543154 [0387543155] (: New York)

注記:

"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
分類・件名:	LCC : QA76.63 DDC : 005.1 LCSH : Logic programming -- Congresses LCSH : Algebra -- Congresses LCSH : Computational complexity -- Congresses
LCCN:	91026502
TTLL:	mul
言語:	英語; フランス語
形態:	485 p. ; 25 cm
書誌ID:	BA13332801

内容紹介

目次情報

類似資料:

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 図書 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
2 図書 Proof and computation Schwichtenberg, Helmut, 1942-, NATO Advanced Study Institute on Proof and Computation Springer-Verlag	8 図書 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
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 図書 Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings International Conference on Algebraic and Logic Programming, Hanus, Michael, Rodríguez Artalejo, M. (Mario) Springer
4 図書 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	10 図書 Algebraic and logic programming : International Workshop, Gaussig, GDR, November 14-18, 1988 : proceedings Grabowski, Jan, Lescanne, Pierre, Wechler, Wolfgang, International Workshop on Algebraic and Logic Programming Springer-Verlag
5 図書 Quantum fields : algebras, processes Bielefeld Encounters in Mathematics and Physics, Streit, Ludwig, 1938-, Universität Bielefeld. Zentrum für … Springer-Verlag	11 図書 Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings International Conference on Algebraic and Logic Programming, Kirchner, Hélène, Wechler, Wolfgang, 1940- Springer-Verlag
6 図書 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	12 図書 Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings International Conference on Algebraic and Logic Programming, Levi, Giorgio, 1942-, Rodríguez Artalejo, M. (Mario) Springer-Verlag