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

Near-rings and near-fields : proceedings of the Conference on Near-Rings and Near-Fields, Fredericton, New Brunswick, Canada, July 18-24, 1993

種類:
図書
責任表示:
edited by Yuen Fong ... [et al.]
出版情報:
Dordrecht : Kluwer Academic Publishers, c1995
著者名:
シリーズ名:
Mathematics and its applications ; v. 336 <BA00044495>
ISBN:
9780792336358 [0792336356]  CiNii Books  Calil
注記:
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Algebraic and geometric topology : proceedings of a conference held at Rutgers University, New Brunswick, USA, July 6-13, 1983

Ranicki, Andrew, 1948-, Levitt, Norman, 1943-, Quinn, Frank, 1946-

Springer-Verlag
7 図書 Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings

CAV (Conference), Alur, Rajeev, 1966-, Henzinger, T. A. (Thomas A.)

Springer-Verlag
2 電子ブック Algebraic and Geometric Topology : Proceedings of a Conference held at Rutgers University, New Brunswick, USA, July 6-13, 1983

Ranicki, Andrew., Levitt, Norman., Quinn, Frank., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Rewriting techniques and applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings

International Conference on Rewriting Techniques and Applications, Ganzinger, Harald, 1950-

Springer-Verlag
3 図書 Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings

Clarke, E. M., Workshop on Computer-Aided Verification

Springer-Verlag
9 電子ブック Rewriting Techniques and Applications : 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings

Ganzinger, Harald, SpringerLink (Online service)

Springer-Verlag
4 電子ブック 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
10 電子ブック Automated Deduction — Cade-13 : 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings

McRobbie, M. A., Slaney, J. K., SpringerLink (Online service)

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

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

Springer Berlin Heidelberg : Imprint: Springer
11 電子ブック Computer Aided Verification : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings

Alur, Rajeev, Henzinger, Thomas A., SpringerLink (Online service)

Springer-Verlag
6 図書 Automated deduction -- CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings

International Conference on Automated Deduction, McRobbie, M. A. (Michael A.), Slaney, John K.

Springer
12 電子ブック Rewriting Techniques and Applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings

Ganzinger, Harald., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer