>> Amazon.co.jp
このページのQRコード

Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings

種類:
電子ブック
責任表示:
edited by Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi
出版情報:
New York, NY : Springer-Verlag, 1990
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 425
ISBN:
9780387348049 [0387348042]  CiNii Books  Calil
ローカル注記:
学内専用E-BOOKS (local access only)
オンライン
http://dx.doi.org/10.1007/BFb0043074
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings

Bergman, Clifford H., Maddux, Roger D., Pigozzi, Don L., SpringerLink (Online service)

Springer New York : Imprint: Springer
7 電子ブック Eurocal '87 : European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings

Davenport, James H., SpringerLink (Online service)

Springer-Verlag
2 電子ブック Computer Science Logic : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings

Börger, Egon, Kleine Büning, Hans, Richter, Michael M., Schönfeld, Wolfgang, SpringerLink (Online service)

Springer-Verlag
8 電子ブック Computer-Aided Verification : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

Clarke, Edmund M., Kurshan, Robert P., SpringerLink (Online service)

Springer-Verlag
3 図書 Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988, proceedings

Algebraic Logic and Universal Algebra in Computer Science Conference, Bergman, Clifford H., 1953-, Maddux, Roger D., …

Springer-Verlag
9 電子ブック CAAP '92 : 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26–28, 1992 Proceedings

Raoult, J. -C, SpringerLink (Online service)

Springer-Verlag
4 電子ブック Graph-Theoretic Concepts in Computer Science : 18th International Workshop, WG '92 Wiesbaden-Naurod, Germany, June 18–20, 1992 Proceedings

Mayr, Ernst W., SpringerLink (Online service)

Springer-Verlag
10 電子ブック Mathematical Foundations of Computer Science 1993 : 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings

Borzyszkowski, Andrzej M., Sokołowski, Stefan, SpringerLink (Online service)

Springer-Verlag
5 電子ブック Graph-Theoretic Concepts in Computer Science : 21st International Workshop, WG '95 Aachen, Germany, June 20–22, 1995 Proceedings

Nagl, Manfred, SpringerLink (Online service)

Springer-Verlag
11 電子ブック STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings

Cori, Robert, Wirsing, Martin, SpringerLink (Online service)

Springer-Verlag
6 電子ブック Computer Science Logic : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M., SpringerLink (Online service)

Springer-Verlag
12 電子ブック Logics for Concurrency : Structure versus Automata

Moller, Faron, Birtwistle, Graham, SpringerLink (Online service)

Springer-Verlag