Blank Cover Image

Logic, algebra, and computation

責任表示:
edited by Friedrich L. Bauer
シリーズ名:
NATO ASI series. Series F, Computer and systems sciences
シリーズ巻号:
79
出版情報:
Berlin: Springer-Verlag, 1991
ISSN:
02581248
ISBN:
9783540543152 [3540543155]
請求記号:
N11483/79
資料種別:
国際会議録
巻号一覧
Loading volume number list

類似資料:

1 国際会議録 Logic of computation

Springer
7 国際会議録 Applications of algebraic geometry to coding theory, physics and computation

Kluwer Academic Publishers
2 国際会議録 Computational logic

Springer
8 国際会議録 Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation : ISSAC '93, July 6-8, 1993, Kiev, Ukraine

Association for Computing Machinery
3 国際会議録 Logic and algebra of specification

Springr-Verlag
9 国際会議録 Proceedings of the International Symposium on Symbolic and Algebraic Computation : ISSAC '94, July 20-22, 1994, Oxford, England, United Kingdom

Association for Computing Machinery
4 国際会議録 Models, algebras and logic of engineering software

IOS Press
10 国際会議録 Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation : ISSAC '95, July 10-12, 1995, Montreal, Canada

Association for Computing Machinery
5 国際会議録 Computational noncommutative algebra and applications

Kluwer Academic Publishers
11 国際会議録 Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation : ISSAC '96, July 24-26, 1996, Zurich, Switzerland

Association for Computing Machinery
6 国際会議録 Computational commutative and non-commutative algebraic geometry

IOS Press
12 国際会議録 Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation : ISSAC 97, July 21-23, 1997, Maui, Hawaii

Association for Computing Machinery
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12