Progress in theoretical computer science

著者

書誌事項

Progress in theoretical computer science

Birkhäuser

この図書・雑誌をさがす

関連文献： 22件中  21-22を表示

  • 2 / 2
  • Canonical equational proofs

    Leo Bachmair

    Birkhäuser 1991 Progress in theoretical computer science

    :us , :sz

    所蔵館15館

  • Linear programming

    Howard Karloff

    Birkhäuser 1991 Progress in theoretical computer science

    : us , : sz

    所蔵館16館

  • 2 / 2

詳細情報

  • NII書誌ID(NCID)
    BA1282110X
  • 出版国コード
    us
  • タイトル言語コード
    eng
  • 出版地
    Boston
ページトップへ