1.

図書
図書
1. Automated deduction in equational logic and cubic curves
W. McCune, R. Padmanabhan
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1095 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Lectures on old and new results on algebraic curves
by P. Samuel ; notes by S. Anantharaman
出版情報: Bombay : Tata Institute of Fundamental Research, 1966
シリーズ名: Lectures on mathematics and physics ; . Mathematics ; 36
所蔵情報: loading…