>> 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:
9780387543154 [0387543155] (: New York)
9783540543152 [3540543155] (: Berlin)
書誌ID:
BA13332801
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Bauer, Friedrich Ludwig, 1924-, Brauer, Wilfried, 1937-, Schwichtenberg, Helmut, 1942-, NATO Advanced Study Institute on …

Springer-Verlag

Bauer, Friedrich Ludwig, 1924-, Eickel, J., 1935-

Springer-Verlag

Bauer, Friedrich Ludwig, 1924-

Springer-Verlag

Bielefeld Encounters in Mathematics and Physics, Streit, Ludwig, 1938-, Universität Bielefeld. Zentrum für …

Springer-Verlag

JAMI Inaugural Conference, 井草, 準一(1924-), Japan-U.S. Mathematics Institute

Johns Hopkins University Press

NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design, Broy, M., 1949-, North Atlantic …

Springer-Verlag

Bauer, Friedrich Ludwig, 1924-, Steinbrüggen, Ralf

IOS Press

10 図書 Linear algebra

Wilkinson, James Hardy, 1919-1986, Reinsch, C., Bauer, Friedrich Ludwig, 1924-

Springer-Verlag

Schwichtenberg, Helmut, 1942-, NATO Advanced Study Institute on Proof and Computation

Springer-Verlag

International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Dowek, Gilles

Springer

Bauer, Friedrich Ludwig, 1924-, Eickel, J., 1935-

Springer-Verlag

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