Caviness, Bob F.

ID:DA01008926

別名

Caviness, Bobby F.

同姓同名の著者を検索

検索結果3件中 1-3 を表示

  • Quantifier elimination and cylindrical algebraic decomposition

    B.F. Caviness and J.R. Johnson (eds.)

    Springer c1998 Texts and monographs in symbolic computation

    所蔵館14館

  • Research contributions

    edited by Bob F. Caviness

    Springer-Verlag c1985 Lecture notes in computer science 204 . EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings ; v. 2

    : gw , : us

    所蔵館61館

  • Invited lectures

    edited by Bruno Buchberger

    Springer-Verlag c1985 Lecture notes in computer science 203 . EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings ; v. 1

    : gw , : us

    所蔵館63館

この著者を外部サイトでさがす

ページトップへ